diff options
author | Gregor Kleen <gkleen@praseodym.org> | 2015-07-03 17:25:10 +0200 |
---|---|---|
committer | Gregor Kleen <gkleen@praseodym.org> | 2015-07-03 17:25:10 +0200 |
commit | e9f8f3473067368451cd47737bd52142b71cc49c (patch) | |
tree | 3b8fe3cc9e19eb5f79439de13a367b4c4f104486 | |
parent | de1d5fc09b34d86386888648b18951c1aca3b8f7 (diff) | |
download | nixos-e9f8f3473067368451cd47737bd52142b71cc49c.tar nixos-e9f8f3473067368451cd47737bd52142b71cc49c.tar.gz nixos-e9f8f3473067368451cd47737bd52142b71cc49c.tar.bz2 nixos-e9f8f3473067368451cd47737bd52142b71cc49c.tar.xz nixos-e9f8f3473067368451cd47737bd52142b71cc49c.zip |
Ran nixos-generate-config on Vali
-rw-r--r-- | vali-hw.nix | 35 | ||||
-rw-r--r-- | vali.nix | 59 |
2 files changed, 94 insertions, 0 deletions
diff --git a/vali-hw.nix b/vali-hw.nix new file mode 100644 index 00000000..700c82ee --- /dev/null +++ b/vali-hw.nix | |||
@@ -0,0 +1,35 @@ | |||
1 | # Do not modify this file! It was generated by ‘nixos-generate-config’ | ||
2 | # and may be overwritten by future invocations. Please make changes | ||
3 | # to /etc/nixos/configuration.nix instead. | ||
4 | { config, lib, pkgs, ... }: | ||
5 | |||
6 | { | ||
7 | imports = | ||
8 | [ <nixpkgs/nixos/modules/installer/scan/not-detected.nix> | ||
9 | ]; | ||
10 | |||
11 | boot.initrd.availableKernelModules = [ "ehci_pci" "ata_piix" "pata_marvell" "xhci_hcd" "firewire_ohci" "usb_storage" "usbhid" ]; | ||
12 | boot.kernelModules = [ "kvm-intel" ]; | ||
13 | boot.extraModulePackages = [ ]; | ||
14 | |||
15 | fileSystems."/" = | ||
16 | { device = "/dev/disk/by-uuid/2343160f-7abc-4233-8dac-3b42ad0fdadb"; | ||
17 | fsType = "ext4"; | ||
18 | }; | ||
19 | |||
20 | fileSystems."/home" = | ||
21 | { device = "/dev/disk/by-uuid/044567e1-f652-4fe2-b1bf-d5052a49fb6b"; | ||
22 | fsType = "ext4"; | ||
23 | }; | ||
24 | |||
25 | fileSystems."/boot" = | ||
26 | { device = "/dev/disk/by-uuid/5aa9e2b4-9342-4144-8423-6c35bb3da991"; | ||
27 | fsType = "ext2"; | ||
28 | }; | ||
29 | |||
30 | swapDevices = | ||
31 | [ { device = "/dev/disk/by-uuid/53fd36a6-9d1e-4316-ac21-8d38d89753ac"; } | ||
32 | ]; | ||
33 | |||
34 | nix.maxJobs = 8; | ||
35 | } | ||
diff --git a/vali.nix b/vali.nix new file mode 100644 index 00000000..feabb1ec --- /dev/null +++ b/vali.nix | |||
@@ -0,0 +1,59 @@ | |||
1 | # Edit this configuration file to define what should be installed on | ||
2 | # your system. Help is available in the configuration.nix(5) man page | ||
3 | # and in the NixOS manual (accessible by running ‘nixos-help’). | ||
4 | |||
5 | { config, pkgs, ... }: | ||
6 | |||
7 | { | ||
8 | imports = | ||
9 | [ # Include the results of the hardware scan. | ||
10 | ./hardware-configuration.nix | ||
11 | ]; | ||
12 | |||
13 | # Use the GRUB 2 boot loader. | ||
14 | boot.loader.grub.enable = true; | ||
15 | boot.loader.grub.version = 2; | ||
16 | # Define on which hard drive you want to install Grub. | ||
17 | # boot.loader.grub.device = "/dev/sda"; | ||
18 | |||
19 | # networking.hostName = "nixos"; # Define your hostname. | ||
20 | networking.hostId = "03dda86d"; | ||
21 | # networking.wireless.enable = true; # Enables wireless. | ||
22 | |||
23 | # Select internationalisation properties. | ||
24 | # i18n = { | ||
25 | # consoleFont = "lat9w-16"; | ||
26 | # consoleKeyMap = "us"; | ||
27 | # defaultLocale = "en_US.UTF-8"; | ||
28 | # }; | ||
29 | |||
30 | # List packages installed in system profile. To search by name, run: | ||
31 | # $ nix-env -qaP | grep wget | ||
32 | # environment.systemPackages = with pkgs; [ | ||
33 | # wget | ||
34 | # ]; | ||
35 | |||
36 | # List services that you want to enable: | ||
37 | |||
38 | # Enable the OpenSSH daemon. | ||
39 | # services.openssh.enable = true; | ||
40 | |||
41 | # Enable CUPS to print documents. | ||
42 | # services.printing.enable = true; | ||
43 | |||
44 | # Enable the X11 windowing system. | ||
45 | # services.xserver.enable = true; | ||
46 | # services.xserver.layout = "us"; | ||
47 | # services.xserver.xkbOptions = "eurosign:e"; | ||
48 | |||
49 | # Enable the KDE Desktop Environment. | ||
50 | # services.xserver.displayManager.kdm.enable = true; | ||
51 | # services.xserver.desktopManager.kde4.enable = true; | ||
52 | |||
53 | # Define a user account. Don't forget to set a password with ‘passwd’. | ||
54 | # users.extraUsers.guest = { | ||
55 | # isNormalUser = true; | ||
56 | # uid = 1000; | ||
57 | # }; | ||
58 | |||
59 | } | ||