Function( Function { head: Destructured( FunctionHeadDestructured { ellipsis: true, identifier: None, arguments: [ FunctionHeadDestructuredArgument { identifier: "config", default: None, }, FunctionHeadDestructuredArgument { identifier: "lib", default: None, }, FunctionHeadDestructuredArgument { identifier: "pkgs", default: None, }, ], }, ), body: With( With { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 6, column: 6, }, end: Position { line: 6, column: 9, }, }, }, ), target: LetIn( LetIn { bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "makeProg", span: Span { start: Position { line: 9, column: 3, }, end: Position { line: 9, column: 11, }, }, }, ), ], to: Function( Function { head: Simple( FunctionHeadSimple { identifier: "args", }, ), body: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 9, column: 20, }, end: Position { line: 9, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "substituteAll", span: Span { start: Position { line: 9, column: 25, }, end: Position { line: 9, column: 38, }, }, }, ), ], default: None, }, ), arguments: [ BinaryOperation( BinaryOperation { left: Identifier( Identifier { id: "args", span: Span { start: Position { line: 9, column: 40, }, end: Position { line: 9, column: 44, }, }, }, ), operator: Update, right: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "dir", span: Span { start: Position { line: 10, column: 5, }, end: Position { line: 10, column: 8, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "bin", span: Span { start: Position { line: 10, column: 12, }, end: Position { line: 10, column: 15, }, }, }, ), ], span: Span { start: Position { line: 10, column: 11, }, end: Position { line: 10, column: 16, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "isExecutable", span: Span { start: Position { line: 11, column: 5, }, end: Position { line: 11, column: 17, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 11, column: 20, }, end: Position { line: 11, column: 24, }, }, }, ), }, ), ], span: Span { start: Position { line: 9, column: 48, }, end: Position { line: 12, column: 4, }, }, }, ), }, ), ], }, ), span: Span { start: Position { line: 9, column: 14, }, end: Position { line: 12, column: 5, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "nixos-build-vms", span: Span { start: Position { line: 14, column: 3, }, end: Position { line: 14, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "makeProg", span: Span { start: Position { line: 14, column: 21, }, end: Position { line: 14, column: 29, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "name", span: Span { start: Position { line: 15, column: 5, }, end: Position { line: 15, column: 9, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "nixos-build-vms", span: Span { start: Position { line: 15, column: 13, }, end: Position { line: 15, column: 28, }, }, }, ), ], span: Span { start: Position { line: 15, column: 12, }, end: Position { line: 15, column: 29, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "src", span: Span { start: Position { line: 16, column: 5, }, end: Position { line: 16, column: 8, }, }, }, ), ], to: Path( Path { parts: [ Raw( PartRaw { content: "./nixos-build-vms/nixos-build-vms.sh", span: Span { start: Position { line: 16, column: 11, }, end: Position { line: 16, column: 47, }, }, }, ), ], span: Span { start: Position { line: 16, column: 11, }, end: Position { line: 16, column: 47, }, }, }, ), }, ), Inherit( BindingInherit { from: Some( Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 17, column: 14, }, end: Position { line: 17, column: 18, }, }, }, ), ), attributes: [ Raw( PartRaw { content: "runtimeShell", span: Span { start: Position { line: 17, column: 20, }, end: Position { line: 17, column: 32, }, }, }, ), ], span: Span { start: Position { line: 14, column: 31, }, end: Position { line: 17, column: 33, }, }, }, ), ], span: Span { start: Position { line: 14, column: 30, }, end: Position { line: 18, column: 4, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "nixos-install", span: Span { start: Position { line: 20, column: 3, }, end: Position { line: 20, column: 16, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "makeProg", span: Span { start: Position { line: 20, column: 19, }, end: Position { line: 20, column: 27, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "name", span: Span { start: Position { line: 21, column: 5, }, end: Position { line: 21, column: 9, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "nixos-install", span: Span { start: Position { line: 21, column: 13, }, end: Position { line: 21, column: 26, }, }, }, ), ], span: Span { start: Position { line: 21, column: 12, }, end: Position { line: 21, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "src", span: Span { start: Position { line: 22, column: 5, }, end: Position { line: 22, column: 8, }, }, }, ), ], to: Path( Path { parts: [ Raw( PartRaw { content: "./nixos-install.sh", span: Span { start: Position { line: 22, column: 11, }, end: Position { line: 22, column: 29, }, }, }, ), ], span: Span { start: Position { line: 22, column: 11, }, end: Position { line: 22, column: 29, }, }, }, ), }, ), Inherit( BindingInherit { from: Some( Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 23, column: 14, }, end: Position { line: 23, column: 18, }, }, }, ), ), attributes: [ Raw( PartRaw { content: "runtimeShell", span: Span { start: Position { line: 23, column: 20, }, end: Position { line: 23, column: 32, }, }, }, ), ], span: Span { start: Position { line: 20, column: 29, }, end: Position { line: 23, column: 33, }, }, }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "nix", span: Span { start: Position { line: 24, column: 5, }, end: Position { line: 24, column: 8, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 24, column: 11, }, end: Position { line: 24, column: 17, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nix", span: Span { start: Position { line: 24, column: 18, }, end: Position { line: 24, column: 21, }, }, }, ), Raw( PartRaw { content: "package", span: Span { start: Position { line: 24, column: 22, }, end: Position { line: 24, column: 29, }, }, }, ), Raw( PartRaw { content: "out", span: Span { start: Position { line: 24, column: 30, }, end: Position { line: 24, column: 33, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "path", span: Span { start: Position { line: 25, column: 5, }, end: Position { line: 25, column: 9, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "makeBinPath", span: Span { start: Position { line: 25, column: 12, }, end: Position { line: 25, column: 23, }, }, }, ), arguments: [ List( List { elements: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 26, column: 7, }, end: Position { line: 26, column: 11, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "jq", span: Span { start: Position { line: 26, column: 12, }, end: Position { line: 26, column: 14, }, }, }, ), ], default: None, }, ), Identifier( Identifier { id: "nixos-enter", span: Span { start: Position { line: 27, column: 7, }, end: Position { line: 27, column: 18, }, }, }, ), ], span: Span { start: Position { line: 25, column: 24, }, end: Position { line: 28, column: 6, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 20, column: 28, }, end: Position { line: 29, column: 4, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "nixos-rebuild", span: Span { start: Position { line: 31, column: 3, }, end: Position { line: 31, column: 16, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 31, column: 19, }, end: Position { line: 31, column: 23, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nixos-rebuild", span: Span { start: Position { line: 31, column: 24, }, end: Position { line: 31, column: 37, }, }, }, ), Raw( PartRaw { content: "override", span: Span { start: Position { line: 31, column: 38, }, end: Position { line: 31, column: 46, }, }, }, ), ], default: None, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "nix", span: Span { start: Position { line: 31, column: 49, }, end: Position { line: 31, column: 52, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 31, column: 55, }, end: Position { line: 31, column: 61, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nix", span: Span { start: Position { line: 31, column: 62, }, end: Position { line: 31, column: 65, }, }, }, ), Raw( PartRaw { content: "package", span: Span { start: Position { line: 31, column: 66, }, end: Position { line: 31, column: 73, }, }, }, ), Raw( PartRaw { content: "out", span: Span { start: Position { line: 31, column: 74, }, end: Position { line: 31, column: 77, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 31, column: 47, }, end: Position { line: 31, column: 80, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "nixos-generate-config", span: Span { start: Position { line: 33, column: 3, }, end: Position { line: 33, column: 24, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "makeProg", span: Span { start: Position { line: 33, column: 27, }, end: Position { line: 33, column: 35, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "name", span: Span { start: Position { line: 34, column: 5, }, end: Position { line: 34, column: 9, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "nixos-generate-config", span: Span { start: Position { line: 34, column: 13, }, end: Position { line: 34, column: 34, }, }, }, ), ], span: Span { start: Position { line: 34, column: 12, }, end: Position { line: 34, column: 35, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "src", span: Span { start: Position { line: 35, column: 5, }, end: Position { line: 35, column: 8, }, }, }, ), ], to: Path( Path { parts: [ Raw( PartRaw { content: "./nixos-generate-config.pl", span: Span { start: Position { line: 35, column: 11, }, end: Position { line: 35, column: 37, }, }, }, ), ], span: Span { start: Position { line: 35, column: 11, }, end: Position { line: 35, column: 37, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "perl", span: Span { start: Position { line: 36, column: 5, }, end: Position { line: 36, column: 9, }, }, }, ), ], to: String( String_ { parts: [ Interpolation( PartInterpolation { expression: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 36, column: 15, }, end: Position { line: 36, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "perl", span: Span { start: Position { line: 36, column: 20, }, end: Position { line: 36, column: 24, }, }, }, ), Raw( PartRaw { content: "withPackages", span: Span { start: Position { line: 36, column: 25, }, end: Position { line: 36, column: 37, }, }, }, ), ], default: None, }, ), arguments: [ Function( Function { head: Simple( FunctionHeadSimple { identifier: "p", }, ), body: List( List { elements: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "p", span: Span { start: Position { line: 36, column: 44, }, end: Position { line: 36, column: 45, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "FileSlurp", span: Span { start: Position { line: 36, column: 46, }, end: Position { line: 36, column: 55, }, }, }, ), ], default: None, }, ), ], span: Span { start: Position { line: 36, column: 42, }, end: Position { line: 36, column: 57, }, }, }, ), span: Span { start: Position { line: 36, column: 39, }, end: Position { line: 36, column: 57, }, }, }, ), ], }, ), }, ), Raw( PartRaw { content: "/bin/perl", span: Span { start: Position { line: 36, column: 13, }, end: Position { line: 36, column: 68, }, }, }, ), ], span: Span { start: Position { line: 36, column: 12, }, end: Position { line: 36, column: 69, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "nixInstantiate", span: Span { start: Position { line: 37, column: 5, }, end: Position { line: 37, column: 19, }, }, }, ), ], to: String( String_ { parts: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 37, column: 25, }, end: Position { line: 37, column: 29, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nix", span: Span { start: Position { line: 37, column: 30, }, end: Position { line: 37, column: 33, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/bin/nix-instantiate", span: Span { start: Position { line: 37, column: 23, }, end: Position { line: 37, column: 54, }, }, }, ), ], span: Span { start: Position { line: 37, column: 22, }, end: Position { line: 37, column: 55, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "detectvirt", span: Span { start: Position { line: 38, column: 5, }, end: Position { line: 38, column: 15, }, }, }, ), ], to: String( String_ { parts: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 38, column: 21, }, end: Position { line: 38, column: 27, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "systemd", span: Span { start: Position { line: 38, column: 28, }, end: Position { line: 38, column: 35, }, }, }, ), Raw( PartRaw { content: "package", span: Span { start: Position { line: 38, column: 36, }, end: Position { line: 38, column: 43, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/bin/systemd-detect-virt", span: Span { start: Position { line: 38, column: 19, }, end: Position { line: 38, column: 68, }, }, }, ), ], span: Span { start: Position { line: 38, column: 18, }, end: Position { line: 38, column: 69, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "btrfs", span: Span { start: Position { line: 39, column: 5, }, end: Position { line: 39, column: 10, }, }, }, ), ], to: String( String_ { parts: [ Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 39, column: 16, }, end: Position { line: 39, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "btrfs-progs", span: Span { start: Position { line: 39, column: 21, }, end: Position { line: 39, column: 32, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "/bin/btrfs", span: Span { start: Position { line: 39, column: 14, }, end: Position { line: 39, column: 43, }, }, }, ), ], span: Span { start: Position { line: 39, column: 13, }, end: Position { line: 39, column: 44, }, }, }, ), }, ), Inherit( BindingInherit { from: Some( PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 40, column: 14, }, end: Position { line: 40, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "system", span: Span { start: Position { line: 40, column: 21, }, end: Position { line: 40, column: 27, }, }, }, ), Raw( PartRaw { content: "nixos-generate-config", span: Span { start: Position { line: 40, column: 28, }, end: Position { line: 40, column: 49, }, }, }, ), ], default: None, }, ), ), attributes: [ Raw( PartRaw { content: "configuration", span: Span { start: Position { line: 40, column: 51, }, end: Position { line: 40, column: 64, }, }, }, ), Raw( PartRaw { content: "desktopConfiguration", span: Span { start: Position { line: 40, column: 65, }, end: Position { line: 40, column: 85, }, }, }, ), ], span: Span { start: Position { line: 33, column: 37, }, end: Position { line: 40, column: 86, }, }, }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "xserverEnabled", span: Span { start: Position { line: 41, column: 5, }, end: Position { line: 41, column: 19, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 41, column: 22, }, end: Position { line: 41, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "services", span: Span { start: Position { line: 41, column: 29, }, end: Position { line: 41, column: 37, }, }, }, ), Raw( PartRaw { content: "xserver", span: Span { start: Position { line: 41, column: 38, }, end: Position { line: 41, column: 45, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 41, column: 46, }, end: Position { line: 41, column: 52, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 33, column: 36, }, end: Position { line: 42, column: 4, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "nixos-option", span: Span { start: Position { line: 44, column: 3, }, end: Position { line: 44, column: 15, }, }, }, ), ], to: IfThenElse( IfThenElse { predicate: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 45, column: 8, }, end: Position { line: 45, column: 11, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "versionAtLeast", span: Span { start: Position { line: 45, column: 12, }, end: Position { line: 45, column: 26, }, }, }, ), ], default: None, }, ), arguments: [ FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 45, column: 28, }, end: Position { line: 45, column: 31, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "getVersion", span: Span { start: Position { line: 45, column: 32, }, end: Position { line: 45, column: 42, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 45, column: 43, }, end: Position { line: 45, column: 49, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nix", span: Span { start: Position { line: 45, column: 50, }, end: Position { line: 45, column: 53, }, }, }, ), Raw( PartRaw { content: "package", span: Span { start: Position { line: 45, column: 54, }, end: Position { line: 45, column: 61, }, }, }, ), ], default: None, }, ), ], }, ), String( String_ { parts: [ Raw( PartRaw { content: "2.4pre", span: Span { start: Position { line: 45, column: 64, }, end: Position { line: 45, column: 70, }, }, }, ), ], span: Span { start: Position { line: 45, column: 63, }, end: Position { line: 45, column: 71, }, }, }, ), ], }, ), then: Identifier( Identifier { id: "null", span: Span { start: Position { line: 46, column: 10, }, end: Position { line: 46, column: 14, }, }, }, ), else_: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 47, column: 10, }, end: Position { line: 47, column: 14, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nixos-option", span: Span { start: Position { line: 47, column: 15, }, end: Position { line: 47, column: 27, }, }, }, ), ], default: None, }, ), span: Span { start: Position { line: 45, column: 5, }, end: Position { line: 47, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "nixos-version", span: Span { start: Position { line: 49, column: 3, }, end: Position { line: 49, column: 16, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "makeProg", span: Span { start: Position { line: 49, column: 19, }, end: Position { line: 49, column: 27, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "name", span: Span { start: Position { line: 50, column: 5, }, end: Position { line: 50, column: 9, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "nixos-version", span: Span { start: Position { line: 50, column: 13, }, end: Position { line: 50, column: 26, }, }, }, ), ], span: Span { start: Position { line: 50, column: 12, }, end: Position { line: 50, column: 27, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "src", span: Span { start: Position { line: 51, column: 5, }, end: Position { line: 51, column: 8, }, }, }, ), ], to: Path( Path { parts: [ Raw( PartRaw { content: "./nixos-version.sh", span: Span { start: Position { line: 51, column: 11, }, end: Position { line: 51, column: 29, }, }, }, ), ], span: Span { start: Position { line: 51, column: 11, }, end: Position { line: 51, column: 29, }, }, }, ), }, ), Inherit( BindingInherit { from: Some( Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 52, column: 14, }, end: Position { line: 52, column: 18, }, }, }, ), ), attributes: [ Raw( PartRaw { content: "runtimeShell", span: Span { start: Position { line: 52, column: 20, }, end: Position { line: 52, column: 32, }, }, }, ), ], span: Span { start: Position { line: 49, column: 29, }, end: Position { line: 52, column: 33, }, }, }, ), Inherit( BindingInherit { from: Some( PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 53, column: 14, }, end: Position { line: 53, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "system", span: Span { start: Position { line: 53, column: 21, }, end: Position { line: 53, column: 27, }, }, }, ), Raw( PartRaw { content: "nixos", span: Span { start: Position { line: 53, column: 28, }, end: Position { line: 53, column: 33, }, }, }, ), ], default: None, }, ), ), attributes: [ Raw( PartRaw { content: "version", span: Span { start: Position { line: 53, column: 35, }, end: Position { line: 53, column: 42, }, }, }, ), Raw( PartRaw { content: "codeName", span: Span { start: Position { line: 53, column: 43, }, end: Position { line: 53, column: 51, }, }, }, ), Raw( PartRaw { content: "revision", span: Span { start: Position { line: 53, column: 52, }, end: Position { line: 53, column: 60, }, }, }, ), ], span: Span { start: Position { line: 49, column: 29, }, end: Position { line: 53, column: 61, }, }, }, ), Inherit( BindingInherit { from: Some( PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 54, column: 14, }, end: Position { line: 54, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "system", span: Span { start: Position { line: 54, column: 21, }, end: Position { line: 54, column: 27, }, }, }, ), ], default: None, }, ), ), attributes: [ Raw( PartRaw { content: "configurationRevision", span: Span { start: Position { line: 54, column: 29, }, end: Position { line: 54, column: 50, }, }, }, ), ], span: Span { start: Position { line: 49, column: 29, }, end: Position { line: 54, column: 51, }, }, }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "json", span: Span { start: Position { line: 55, column: 5, }, end: Position { line: 55, column: 9, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "builtins", span: Span { start: Position { line: 55, column: 12, }, end: Position { line: 55, column: 20, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "toJSON", span: Span { start: Position { line: 55, column: 21, }, end: Position { line: 55, column: 27, }, }, }, ), ], default: None, }, ), arguments: [ BinaryOperation( BinaryOperation { left: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "nixosVersion", span: Span { start: Position { line: 56, column: 7, }, end: Position { line: 56, column: 19, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 56, column: 22, }, end: Position { line: 56, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "system", span: Span { start: Position { line: 56, column: 29, }, end: Position { line: 56, column: 35, }, }, }, ), Raw( PartRaw { content: "nixos", span: Span { start: Position { line: 56, column: 36, }, end: Position { line: 56, column: 41, }, }, }, ), Raw( PartRaw { content: "version", span: Span { start: Position { line: 56, column: 42, }, end: Position { line: 56, column: 49, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 55, column: 29, }, end: Position { line: 57, column: 6, }, }, }, ), operator: Update, right: BinaryOperation( BinaryOperation { left: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalAttrs", span: Span { start: Position { line: 57, column: 10, }, end: Position { line: 57, column: 23, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 57, column: 25, }, end: Position { line: 57, column: 31, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "system", span: Span { start: Position { line: 57, column: 32, }, end: Position { line: 57, column: 38, }, }, }, ), Raw( PartRaw { content: "nixos", span: Span { start: Position { line: 57, column: 39, }, end: Position { line: 57, column: 44, }, }, }, ), Raw( PartRaw { content: "revision", span: Span { start: Position { line: 57, column: 45, }, end: Position { line: 57, column: 53, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 57, column: 57, }, end: Position { line: 57, column: 61, }, }, }, ), }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "nixpkgsRevision", span: Span { start: Position { line: 58, column: 7, }, end: Position { line: 58, column: 22, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 58, column: 25, }, end: Position { line: 58, column: 31, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "system", span: Span { start: Position { line: 58, column: 32, }, end: Position { line: 58, column: 38, }, }, }, ), Raw( PartRaw { content: "nixos", span: Span { start: Position { line: 58, column: 39, }, end: Position { line: 58, column: 44, }, }, }, ), Raw( PartRaw { content: "revision", span: Span { start: Position { line: 58, column: 45, }, end: Position { line: 58, column: 53, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 57, column: 63, }, end: Position { line: 59, column: 6, }, }, }, ), ], }, ), operator: Update, right: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "optionalAttrs", span: Span { start: Position { line: 59, column: 10, }, end: Position { line: 59, column: 23, }, }, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 59, column: 25, }, end: Position { line: 59, column: 31, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "system", span: Span { start: Position { line: 59, column: 32, }, end: Position { line: 59, column: 38, }, }, }, ), Raw( PartRaw { content: "configurationRevision", span: Span { start: Position { line: 59, column: 39, }, end: Position { line: 59, column: 60, }, }, }, ), ], default: None, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 59, column: 64, }, end: Position { line: 59, column: 68, }, }, }, ), }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "configurationRevision", span: Span { start: Position { line: 60, column: 7, }, end: Position { line: 60, column: 28, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 60, column: 31, }, end: Position { line: 60, column: 37, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "system", span: Span { start: Position { line: 60, column: 38, }, end: Position { line: 60, column: 44, }, }, }, ), Raw( PartRaw { content: "configurationRevision", span: Span { start: Position { line: 60, column: 45, }, end: Position { line: 60, column: 66, }, }, }, ), ], default: None, }, ), }, ), ], span: Span { start: Position { line: 59, column: 70, }, end: Position { line: 61, column: 6, }, }, }, ), ], }, ), }, ), }, ), ], }, ), }, ), ], span: Span { start: Position { line: 49, column: 28, }, end: Position { line: 62, column: 4, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "nixos-enter", span: Span { start: Position { line: 64, column: 3, }, end: Position { line: 64, column: 14, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "makeProg", span: Span { start: Position { line: 64, column: 17, }, end: Position { line: 64, column: 25, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "name", span: Span { start: Position { line: 65, column: 5, }, end: Position { line: 65, column: 9, }, }, }, ), ], to: String( String_ { parts: [ Raw( PartRaw { content: "nixos-enter", span: Span { start: Position { line: 65, column: 13, }, end: Position { line: 65, column: 24, }, }, }, ), ], span: Span { start: Position { line: 65, column: 12, }, end: Position { line: 65, column: 25, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "src", span: Span { start: Position { line: 66, column: 5, }, end: Position { line: 66, column: 8, }, }, }, ), ], to: Path( Path { parts: [ Raw( PartRaw { content: "./nixos-enter.sh", span: Span { start: Position { line: 66, column: 11, }, end: Position { line: 66, column: 27, }, }, }, ), ], span: Span { start: Position { line: 66, column: 11, }, end: Position { line: 66, column: 27, }, }, }, ), }, ), Inherit( BindingInherit { from: Some( Identifier( Identifier { id: "pkgs", span: Span { start: Position { line: 67, column: 14, }, end: Position { line: 67, column: 18, }, }, }, ), ), attributes: [ Raw( PartRaw { content: "runtimeShell", span: Span { start: Position { line: 67, column: 20, }, end: Position { line: 67, column: 32, }, }, }, ), ], span: Span { start: Position { line: 64, column: 27, }, end: Position { line: 67, column: 33, }, }, }, ), ], span: Span { start: Position { line: 64, column: 26, }, end: Position { line: 68, column: 4, }, }, }, ), ], }, ), }, ), ], target: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 74, column: 3, }, end: Position { line: 74, column: 10, }, }, }, ), Raw( PartRaw { content: "system", span: Span { start: Position { line: 74, column: 11, }, end: Position { line: 74, column: 17, }, }, }, ), Raw( PartRaw { content: "nixos-generate-config", span: Span { start: Position { line: 74, column: 18, }, end: Position { line: 74, column: 39, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "configuration", span: Span { start: Position { line: 75, column: 5, }, end: Position { line: 75, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 75, column: 21, }, end: Position { line: 75, column: 29, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "internal", span: Span { start: Position { line: 76, column: 7, }, end: Position { line: 76, column: 15, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 76, column: 18, }, end: Position { line: 76, column: 22, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 77, column: 7, }, end: Position { line: 77, column: 11, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 77, column: 14, }, end: Position { line: 77, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "str", span: Span { start: Position { line: 77, column: 20, }, end: Position { line: 77, column: 23, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 78, column: 7, }, end: Position { line: 78, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 78, column: 21, }, end: Position { line: 78, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 78, column: 25, }, end: Position { line: 78, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "The NixOS module that `nixos-generate-config`\nsaves to `/etc/nixos/configuration.nix`.\n\nThis is an internal option. No backward compatibility is guaranteed.\nUse at your own risk!\n\nNote that this string gets spliced into a Perl script. The perl\nvariable `$bootLoaderConfig` can be used to\nsplice in the boot loader configuration.\n", span: Span { start: Position { line: 79, column: 1, }, end: Position { line: 88, column: 7, }, }, }, ), ], span: Span { start: Position { line: 78, column: 31, }, end: Position { line: 88, column: 9, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 75, column: 30, }, end: Position { line: 89, column: 6, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "desktopConfiguration", span: Span { start: Position { line: 91, column: 5, }, end: Position { line: 91, column: 25, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 91, column: 28, }, end: Position { line: 91, column: 36, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "internal", span: Span { start: Position { line: 92, column: 7, }, end: Position { line: 92, column: 15, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 92, column: 18, }, end: Position { line: 92, column: 22, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 93, column: 7, }, end: Position { line: 93, column: 11, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 93, column: 14, }, end: Position { line: 93, column: 19, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "listOf", span: Span { start: Position { line: 93, column: 20, }, end: Position { line: 93, column: 26, }, }, }, ), ], default: None, }, ), arguments: [ PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 93, column: 27, }, end: Position { line: 93, column: 32, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "lines", span: Span { start: Position { line: 93, column: 33, }, end: Position { line: 93, column: 38, }, }, }, ), ], default: None, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 94, column: 7, }, end: Position { line: 94, column: 14, }, }, }, ), ], to: List( List { elements: [], span: Span { start: Position { line: 94, column: 17, }, end: Position { line: 94, column: 19, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 95, column: 7, }, end: Position { line: 95, column: 18, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 95, column: 21, }, end: Position { line: 95, column: 24, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 95, column: 25, }, end: Position { line: 95, column: 30, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Text to preseed the desktop configuration that `nixos-generate-config`\nsaves to `/etc/nixos/configuration.nix`.\n\nThis is an internal option. No backward compatibility is guaranteed.\nUse at your own risk!\n\nNote that this string gets spliced into a Perl script. The perl\nvariable `$bootLoaderConfig` can be used to\nsplice in the boot loader configuration.\n", span: Span { start: Position { line: 96, column: 1, }, end: Position { line: 105, column: 7, }, }, }, ), ], span: Span { start: Position { line: 95, column: 31, }, end: Position { line: 105, column: 9, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 91, column: 37, }, end: Position { line: 106, column: 6, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 74, column: 42, }, end: Position { line: 107, column: 4, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "options", span: Span { start: Position { line: 109, column: 3, }, end: Position { line: 109, column: 10, }, }, }, ), Raw( PartRaw { content: "system", span: Span { start: Position { line: 109, column: 11, }, end: Position { line: 109, column: 17, }, }, }, ), Raw( PartRaw { content: "disableInstallerTools", span: Span { start: Position { line: 109, column: 18, }, end: Position { line: 109, column: 39, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkOption", span: Span { start: Position { line: 109, column: 42, }, end: Position { line: 109, column: 50, }, }, }, ), arguments: [ Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "internal", span: Span { start: Position { line: 110, column: 5, }, end: Position { line: 110, column: 13, }, }, }, ), ], to: Identifier( Identifier { id: "true", span: Span { start: Position { line: 110, column: 16, }, end: Position { line: 110, column: 20, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "type", span: Span { start: Position { line: 111, column: 5, }, end: Position { line: 111, column: 9, }, }, }, ), ], to: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "types", span: Span { start: Position { line: 111, column: 12, }, end: Position { line: 111, column: 17, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "bool", span: Span { start: Position { line: 111, column: 18, }, end: Position { line: 111, column: 22, }, }, }, ), ], default: None, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "default", span: Span { start: Position { line: 112, column: 5, }, end: Position { line: 112, column: 12, }, }, }, ), ], to: Identifier( Identifier { id: "false", span: Span { start: Position { line: 112, column: 15, }, end: Position { line: 112, column: 20, }, }, }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "description", span: Span { start: Position { line: 113, column: 5, }, end: Position { line: 113, column: 16, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 113, column: 19, }, end: Position { line: 113, column: 22, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mdDoc", span: Span { start: Position { line: 113, column: 23, }, end: Position { line: 113, column: 28, }, }, }, ), ], default: None, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "Disable nixos-rebuild, nixos-generate-config, nixos-installer\nand other NixOS tools. This is useful to shrink embedded,\nread-only systems which are not expected to be rebuild or\nreconfigure themselves. Use at your own risk!\n", span: Span { start: Position { line: 114, column: 1, }, end: Position { line: 118, column: 5, }, }, }, ), ], span: Span { start: Position { line: 113, column: 29, }, end: Position { line: 118, column: 7, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 109, column: 51, }, end: Position { line: 119, column: 4, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "config", span: Span { start: Position { line: 121, column: 3, }, end: Position { line: 121, column: 9, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 121, column: 12, }, end: Position { line: 121, column: 15, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "mkIf", span: Span { start: Position { line: 121, column: 16, }, end: Position { line: 121, column: 20, }, }, }, ), ], default: None, }, ), arguments: [ BinaryOperation( BinaryOperation { left: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 121, column: 22, }, end: Position { line: 121, column: 28, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "nix", span: Span { start: Position { line: 121, column: 29, }, end: Position { line: 121, column: 32, }, }, }, ), Raw( PartRaw { content: "enable", span: Span { start: Position { line: 121, column: 33, }, end: Position { line: 121, column: 39, }, }, }, ), ], default: None, }, ), operator: LogicalAnd, right: UnaryOperation( UnaryOperation { operator: Not, operand: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 121, column: 44, }, end: Position { line: 121, column: 50, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "system", span: Span { start: Position { line: 121, column: 51, }, end: Position { line: 121, column: 57, }, }, }, ), Raw( PartRaw { content: "disableInstallerTools", span: Span { start: Position { line: 121, column: 58, }, end: Position { line: 121, column: 79, }, }, }, ), ], default: None, }, ), span: Span { start: Position { line: 121, column: 43, }, end: Position { line: 121, column: 79, }, }, }, ), }, ), Map( Map { recursive: false, bindings: [ KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "system", span: Span { start: Position { line: 123, column: 5, }, end: Position { line: 123, column: 11, }, }, }, ), Raw( PartRaw { content: "nixos-generate-config", span: Span { start: Position { line: 123, column: 12, }, end: Position { line: 123, column: 33, }, }, }, ), Raw( PartRaw { content: "configuration", span: Span { start: Position { line: 123, column: 34, }, end: Position { line: 123, column: 47, }, }, }, ), ], to: FunctionApplication( FunctionApplication { function: Identifier( Identifier { id: "mkDefault", span: Span { start: Position { line: 123, column: 50, }, end: Position { line: 123, column: 59, }, }, }, ), arguments: [ IndentedString( IndentedString { parts: [ Raw( PartRaw { content: "# Edit this configuration file to define what should be installed on\n# your system. Help is available in the configuration.nix(5) man page\n# and in the NixOS manual (accessible by running ‘nixos-help’).\n\n{ config, pkgs, ... }:\n\n{\n imports =\n [ # Include the results of the hardware scan.\n ./hardware-configuration.nix\n ];\n\n$bootLoaderConfig\n # networking.hostName = \"nixos\"; # Define your hostname.\n # Pick only one of the below networking options.\n # networking.wireless.enable = true; # Enables wireless support via wpa_supplicant.\n # networking.networkmanager.enable = true; # Easiest to use and most distros use this by default.\n\n # Set your time zone.\n # time.timeZone = \"Europe/Amsterdam\";\n\n # Configure network proxy if necessary\n # networking.proxy.default = \"http://user:password\\@proxy:port/\";\n # networking.proxy.noProxy = \"127.0.0.1,localhost,internal.domain\";\n\n # Select internationalisation properties.\n # i18n.defaultLocale = \"en_US.UTF-8\";\n # console = {\n # font = \"Lat2-Terminus16\";\n # keyMap = \"us\";\n # useXkbConfig = true; # use xkbOptions in tty.\n # };\n\n$xserverConfig\n\n$desktopConfiguration\n # Configure keymap in X11\n # services.xserver.layout = \"us\";\n # services.xserver.xkbOptions = {\n # \"eurosign:e\";\n # \"caps:escape\" # map caps to escape.\n # };\n\n # Enable CUPS to print documents.\n # services.printing.enable = true;\n\n # Enable sound.\n # sound.enable = true;\n # hardware.pulseaudio.enable = true;\n\n # Enable touchpad support (enabled default in most desktopManager).\n # services.xserver.libinput.enable = true;\n\n # Define a user account. Don't forget to set a password with ‘passwd’.\n # users.users.alice = {\n # isNormalUser = true;\n # extraGroups = [ \"wheel\" ]; # Enable ‘sudo’ for the user.\n # packages = with pkgs; [\n # firefox\n # thunderbird\n # ];\n # };\n\n # List packages installed in system profile. To search, run:\n # \\$ nix search wget\n # environment.systemPackages = with pkgs; [\n # vim # Do not forget to add an editor to edit configuration.nix! The Nano editor is also installed by default.\n # wget\n # ];\n\n # Some programs need SUID wrappers, can be configured further or are\n # started in user sessions.\n # programs.mtr.enable = true;\n # programs.gnupg.agent = {\n # enable = true;\n # enableSSHSupport = true;\n # };\n\n # List services that you want to enable:\n\n # Enable the OpenSSH daemon.\n # services.openssh.enable = true;\n\n # Open ports in the firewall.\n # networking.firewall.allowedTCPPorts = [ ... ];\n # networking.firewall.allowedUDPPorts = [ ... ];\n # Or disable the firewall altogether.\n # networking.firewall.enable = false;\n\n # Copy the NixOS configuration file and link it from the resulting system\n # (/run/current-system/configuration.nix). This is useful in case you\n # accidentally delete configuration.nix.\n # system.copySystemConfiguration = true;\n\n # This value determines the NixOS release from which the default\n # settings for stateful data, like file locations and database versions\n # on your system were taken. It‘s perfectly fine and recommended to leave\n # this value at the release version of the first install of this system.\n # Before changing this value read the documentation for this option\n # (e.g. man configuration.nix or on https://nixos.org/nixos/options.html).\n system.stateVersion = \"", span: Span { start: Position { line: 124, column: 1, }, end: Position { line: 224, column: 32, }, }, }, ), Interpolation( PartInterpolation { expression: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "config", span: Span { start: Position { line: 224, column: 34, }, end: Position { line: 224, column: 40, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "system", span: Span { start: Position { line: 224, column: 41, }, end: Position { line: 224, column: 47, }, }, }, ), Raw( PartRaw { content: "nixos", span: Span { start: Position { line: 224, column: 48, }, end: Position { line: 224, column: 53, }, }, }, ), Raw( PartRaw { content: "release", span: Span { start: Position { line: 224, column: 54, }, end: Position { line: 224, column: 61, }, }, }, ), ], default: None, }, ), }, ), Raw( PartRaw { content: "\"; # Did you read the comment?\n\n}\n", span: Span { start: Position { line: 124, column: 1, }, end: Position { line: 227, column: 5, }, }, }, ), ], span: Span { start: Position { line: 123, column: 60, }, end: Position { line: 227, column: 7, }, }, }, ), ], }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "environment", span: Span { start: Position { line: 229, column: 5, }, end: Position { line: 229, column: 16, }, }, }, ), Raw( PartRaw { content: "systemPackages", span: Span { start: Position { line: 229, column: 17, }, end: Position { line: 229, column: 31, }, }, }, ), ], to: BinaryOperation( BinaryOperation { left: List( List { elements: [ Identifier( Identifier { id: "nixos-build-vms", span: Span { start: Position { line: 230, column: 9, }, end: Position { line: 230, column: 24, }, }, }, ), Identifier( Identifier { id: "nixos-install", span: Span { start: Position { line: 231, column: 9, }, end: Position { line: 231, column: 22, }, }, }, ), Identifier( Identifier { id: "nixos-rebuild", span: Span { start: Position { line: 232, column: 9, }, end: Position { line: 232, column: 22, }, }, }, ), Identifier( Identifier { id: "nixos-generate-config", span: Span { start: Position { line: 233, column: 9, }, end: Position { line: 233, column: 30, }, }, }, ), Identifier( Identifier { id: "nixos-version", span: Span { start: Position { line: 234, column: 9, }, end: Position { line: 234, column: 22, }, }, }, ), Identifier( Identifier { id: "nixos-enter", span: Span { start: Position { line: 235, column: 9, }, end: Position { line: 235, column: 20, }, }, }, ), ], span: Span { start: Position { line: 230, column: 7, }, end: Position { line: 236, column: 8, }, }, }, ), operator: Concatenation, right: FunctionApplication( FunctionApplication { function: PropertyAccess( PropertyAccess { expression: Identifier( Identifier { id: "lib", span: Span { start: Position { line: 236, column: 12, }, end: Position { line: 236, column: 15, }, }, }, ), attribute_path: [ Raw( PartRaw { content: "optional", span: Span { start: Position { line: 236, column: 16, }, end: Position { line: 236, column: 24, }, }, }, ), ], default: None, }, ), arguments: [ BinaryOperation( BinaryOperation { left: Identifier( Identifier { id: "nixos-option", span: Span { start: Position { line: 236, column: 26, }, end: Position { line: 236, column: 38, }, }, }, ), operator: NotEqualTo, right: Identifier( Identifier { id: "null", span: Span { start: Position { line: 236, column: 42, }, end: Position { line: 236, column: 46, }, }, }, ), }, ), Identifier( Identifier { id: "nixos-option", span: Span { start: Position { line: 236, column: 48, }, end: Position { line: 236, column: 60, }, }, }, ), ], }, ), }, ), }, ), KeyValue( BindingKeyValue { from: [ Raw( PartRaw { content: "system", span: Span { start: Position { line: 238, column: 5, }, end: Position { line: 238, column: 11, }, }, }, ), Raw( PartRaw { content: "build", span: Span { start: Position { line: 238, column: 12, }, end: Position { line: 238, column: 17, }, }, }, ), ], to: Map( Map { recursive: false, bindings: [ Inherit( BindingInherit { from: None, attributes: [ Raw( PartRaw { content: "nixos-install", span: Span { start: Position { line: 239, column: 15, }, end: Position { line: 239, column: 28, }, }, }, ), Raw( PartRaw { content: "nixos-generate-config", span: Span { start: Position { line: 239, column: 29, }, end: Position { line: 239, column: 50, }, }, }, ), Raw( PartRaw { content: "nixos-option", span: Span { start: Position { line: 239, column: 51, }, end: Position { line: 239, column: 63, }, }, }, ), Raw( PartRaw { content: "nixos-rebuild", span: Span { start: Position { line: 239, column: 64, }, end: Position { line: 239, column: 77, }, }, }, ), Raw( PartRaw { content: "nixos-enter", span: Span { start: Position { line: 239, column: 78, }, end: Position { line: 239, column: 89, }, }, }, ), ], span: Span { start: Position { line: 238, column: 21, }, end: Position { line: 239, column: 90, }, }, }, ), ], span: Span { start: Position { line: 238, column: 20, }, end: Position { line: 240, column: 6, }, }, }, ), }, ), ], span: Span { start: Position { line: 121, column: 81, }, end: Position { line: 242, column: 4, }, }, }, ), ], }, ), }, ), ], span: Span { start: Position { line: 72, column: 1, }, end: Position { line: 244, column: 2, }, }, }, ), span: Span { start: Position { line: 8, column: 1, }, end: Position { line: 244, column: 2, }, }, }, ), span: Span { start: Position { line: 6, column: 1, }, end: Position { line: 244, column: 2, }, }, }, ), span: Span { start: Position { line: 4, column: 1, }, end: Position { line: 244, column: 2, }, }, }, )