nixos with proxy

requires these commands:

 export http_proxy=http://myproxy:3128
 NIX_REMOTE= nix-build -A system "<nixos>"
 nixos-rebuild switch

home laptop

 # Edit this configuration file which defines what would be installed on the
 # system.  To Help while choosing option value, you can watch at the manual
 # page of configuration.nix or at the last chapter of the manual available
 # on the virtual console 8 (Alt+F8).
 
 {config, pkgs, ...}:
 
 {
 require = [
   # Include the configuration for part of your system which have been
   # detected automatically.
   ./hardware-configuration.nix
 ];
 boot.initrd.kernelModules = [
   # Specify all kernel modules that are necessary for mounting the root
   # file system.
   "vboxdrv" "vboxnetadp" "vboxnetflt" "dm_crypt" "sha256_generic" "sha1_generic" "cbc" "aes_x86_64" "aes_generic" "xts"
 ];
 boot.extraModulePackages = [
   pkgs.linuxPackages.virtualbox
 ];
 # to have all the extra tools before stage 2 if something fails like can't find root partition
 boot.initrd.withExtraTools = true;
 boot.initrd.luksRoot = "postBootOnly";
 boot.initrd.postDeviceCommands = "cryptsetup luksOpen /dev/sdb3 luks";
 boot.loader.grub = {
   # Use grub 2 as boot loader.
   enable = true;
   version = 2;
   # Define on which hard drive you want to install Grub.
    device = "/dev/sda";
 };
 networking = {
   hostName = "eliteBook-8530w"; # Define your hostname.
   interfaceMonitor.enable = true; # Watch for plugged cable.
   enableWLAN = true;  # Enables Wireless.
 };
 # Add file system entries for each partition that you want to see mounted
 # at boot time.  You can add filesystems which are not mounted at boot by
 # adding the noauto option.
 fileSystems = [
   # Mount the root file system
   #
    { mountPoint = "/";
      device = "/dev/sda1";
    }
    { mountPoint = "/home";
      device = "/dev/vol_grp1/home";
    }
 ];
 swapDevices = [
   # List swap partitions that are mounted at boot time.
    { device = "/swapfile1"; }
 ];
 # Add an OpenSSH daemon.
 # services.openssh.enable = true;
 # Add CUPS to print documents.
 # services.printing.enable = true;
 # Add XServer (default if you have used a graphical iso)
 services.xserver = {
   enable = true;
   layout = "us";
   xkbOptions = "eurosign:e";
 };
 # Add the NixOS Manual on virtual console 8
 #services.nixosManual.showManual = true;
 services.xserver.desktopManager.kde4.enable = true;
 services.xserver.displayManager.kdm.enable = true;
 environment.systemPackages = with pkgs; [
   zsh wget
   linuxPackages.virtualbox
   smartmontools
   kde4.kdemultimedia
   kde4.kdeaccessibility
   kde4.kdeadmin
   kde4.kdeartwork
   kde4.kdebindings
   kde4.kdeedu
   kde4.kdegames
   kde4.kdegraphics
   kde4.kdelibs
   kde4.kdemultimedia
   kde4.kdenetwork
   kde4.kdepim
   kde4.kdesdk
   kde4.kdetoys
   kde4.kdeutils
 ];
 
 hardware.pulseaudio.enable = true;
 users.defaultUserShell = "/var/run/current-system/sw/bin/zsh";
 
 services.acpid.enable = true;
 powerManagement.enable = true;
 services.printing.enable = true;
 services.printing.drivers = [ pkgs.splix ];
 }

office laptop

 # Edit this configuration file which defines what would be installed on the
 # system.  To Help while choosing option value, you can watch at the manual
 # page of configuration.nix or at the last chapter of the manual available
 # on the virtual console 8 (Alt+F8).
 
 {config, pkgs, ...}:
 
 {
   require = [
     # Include the configuration for part of your system which have been
     # detected automatically.  In addition, it includes the same
     # configuration as the installation device that you used.
     ./hardware-configuration.nix
   ];
 
   boot.initrd.kernelModules = [
     # Specify all kernel modules that are necessary for mounting the root
     # file system.
     #
     # "ext4" "ata_piix"
     "vboxdrv" "vboxnetadp" "vboxnetflt"
   ];
 
   boot.extraModulePackages = [
     pkgs.linuxPackages.virtualbox
   ];
 
   environment.systemPackages = [
     pkgs.zsh pkgs.linuxPackages.virtualbox pkgs.wget
   ];
 
   boot.loader.grub = {
     # Use grub 2 as boot loader.
     enable = true;
     version = 2;
 
     # Define on which hard drive you want to install Grub.
     device = "/dev/sda";
   };
 
   networking = {
     hostName = "myNixHost"; # Define your hostname.
     interfaceMonitor.enable = true; # Watch for plugged cable.
     enableWLAN = true;  # Enables Wireless.
     defaultGateway = "1.2.3.4";
     nameservers = [ "1.2.3.4" "1.2.3.4" ];
     interfaces = [ 
      { 
        ipAddress = "1.2.3.4"; 
        name = "eth0"; 
        subnetMask = "255.255.255.0"; 
      } 
      { 
        ipAddress = "10.0.0.1";
        name = "eth1"; 
        subnetMask = "255.255.255.0"; 
      }
     ];
   };
 
   # Add file system entries for each partition that you want to see mounted
   # at boot time.  You can add filesystems which are not mounted at boot by
   # adding the noauto option.
   fileSystems = [
     # Mount the root file system
     #
      { mountPoint = "/";
        device = "/dev/sda1";
      }
 
     # Copy & Paste & Uncomment & Modify to add any other file system.
     #
     # { mountPoint = "/data"; # where you want to mount the device
     #   device = "/dev/sdb"; # the device or the label of the device
     #   # label = "data";
     #   fsType = "ext3";      # the type of the partition.
     #   options = "data=journal";
     # }
   ];
 
   swapDevices = [
     # List swap partitions that are mounted at boot time.
     #
     { device = "/swapfile1"; }
   ];
 
   # Select internationalisation properties.
   # i18n = {
   #   consoleFont = "lat9w-16";
   #   consoleKeyMap = "us";
   #   defaultLocale = "en_US.UTF-8";
   # };
 
   # List services that you want to enable:
 
   # Add an OpenSSH daemon.
   #services.openssh.enable = true;
 
   # Add CUPS to print documents.
   # services.printing.enable = true;
 
   # Add XServer (default if you have used a graphical iso)
    services.xserver = {
      enable = true;
      layout = "us";
      xkbOptions = "eurosign:e";
    };
 
   # Add the NixOS Manual on virtual console 8
   #services.nixosManual.showManual = true;
 
   services.xserver.desktopManager.kde4.enable = true;
   services.xserver.displayManager.kdm.enable = true;
  
 environment.systemPackages = with pkgs; [
   zsh wget
   linuxPackages.virtualbox
   kde4.kdemultimedia
   kde4.kdeaccessibility
   kde4.kdeadmin
   kde4.kdeartwork
   kde4.kdebindings
   kde4.kdeedu
   kde4.kdegames
   kde4.kdegraphics
   kde4.kdelibs
   kde4.kdemultimedia
   kde4.kdenetwork
   kde4.kdepim
   kde4.kdesdk
   kde4.kdetoys
   kde4.kdeutils
 ];
 
 
   services.cntlm = {
     enable=true;
     username="myName";
     domain="myDomain";
     proxy=[ "10.10.10.10:80" "20.20.20.20:80" ];
     extraConfig=
       NTLMToBasic     no
 
       #cntlm -I -H -u myName -d myDomain
 
       # Enable to allow access from other computers
       Gateway yes
 
       # Useful in Gateway mode to allow/restrict certain IPs
       Allow           127.0.0.1
       
       # VirtualBox
       Allow           10.0.0.0/24
       Allow           192.168.56.0/8
       Allow           192.168.1.10
       Allow           192.168.2.0/24
       Deny            0/0
     ;
   };
 
   services.samba.enable = true;
   services.samba.securityType = "share";
   services.samba.extraConfig = 
     workgroup = WORKGROUP
     server string = myServer
     netbios name = myServername
     #use sendfile = yes
     #max protocol = smb2
 
     interfaces = lo eth1 vboxnet0 vboxnet1
     bind interfaces only = yes
 
     [rw-files]
       comment = rw project files 
       path = /home/joachim/Desktop/projects/
       read only = no
       writable = yes
       public = yes
       browsable = yes
   ; 
 
   services.dhcpd.enable = true;
   services.dhcpd.interfaces = "eth1";
   services.dhcpd.extraConfig = 
     subnet 10.0.0.0 netmask 255.255.255.0
       {
         range 10.0.0.100 10.0.0.200;
         default-lease-time 86400;
         max-lease-time 2592000;
 
         host foo
            {
              hardware ethernet 00:30:6f:88:23:1b;
              fixed-address 10.0.0.10;
            }
       }
   ;
   hardware.pulseaudio.enable = true;
   users.defaultUserShell = "/var/run/current-system/sw/bin/zsh";
   services.acpid.enable = true;
   powerManagement.enable = true;
 }

hyper_ch's config

 # Edit this configuration file which defines what would be installed on the
 # system.  To Help while choosing option value, you can watch at the manual
 # page of configuration.nix or at the last chapter of the manual available
 # on the virtual console 8 (Alt+F8).
 {config, pkgs, ...}:
 {
 require = [
   # Include the configuration for part of your system which have been
   # detected automatically.
   ./hardware-configuration.nix
 ];
 
 #boot.initrd.luksRoot = "/dev/sda3";
   
 boot.initrd.luks.enable = true;
 
 boot.initrd.luks.devices = [
   {
     name = "luksroot";
     device = "/dev/sda3";
   }
 ];
 
 boot.initrd.postMountCommands = "cryptsetup luksOpen --key-file /root/keyfile /dev/sda2 swap";
 
 boot.initrd.kernelModules = [
   # Specify all kernel modules that are necessary for mounting the root
   # file system.
   #
   "ext4" "ata_piix"
 ];
 
 #boot.extraModulePackages = [
 #  services.virtualbox.enable = true;
 #];
 
 services.virtualbox.enable = true;
 
 boot.loader.grub = {
   # Use grub 2 as boot loader.
   enable = true;
   version = 2;
   device = "/dev/sda";
 };
 
 #boot.loader.grub.enable = true;
 #boot.loader.grub.device = "/dev/sda";
 
 networking = {
   hostName = "nixi"; # Define your hostname.
   interfaceMonitor.enable = true; # Watch for plugged cable.
   wireless.enable = true;
   wicd.enable = true;
 };
 
 # Add file system entries for each partition that you want to see mounted
 # at boot time.  You can add filesystems which are not mounted at boot by
 # adding the noauto option.
 fileSystems = [
   # Mount the root file system
   #
   { mountPoint = "/";
     device = "/dev/mapper/luksroot";
   } {
     mountPoint = "/boot";
     device = "/dev/sda1";
   }
 
   # Copy & Paste & Uncomment & Modify to add any other file system.
   #
   # { mountPoint = "/data"; # where you want to mount the device
   #   device = "/dev/sdb"; # the device or the label of the device
   #   # label = "data";
   #   fsType = "ext3";      # the type of the partition.
   #   options = "data=journal";
   # }
 ];
 
 swapDevices = [
   # List swap partitions that are mounted at boot time.
   #
   { device = "/dev/mapper/swap"; }
 ];
 
 # Select internationalisation properties.
 i18n = {
   consoleFont = "lat9w-16";
   consoleKeyMap = "sg-latin1";
   defaultLocale = "en_US.UTF-8";
 };
 
 # List services that you want to enable:
 
 # Add an OpenSSH daemon.
 services.openssh.enable = true;
 
 # Add CUPS to print documents.
 services.printing.enable = true;
 
 # Add XServer (default if you have used a graphical iso)
 services.xserver = {
   enable = true;
   displayManager.kdm.enable = true;
   desktopManager.kde4.enable = true;
   desktopManager.default = "kde4";
   videoDrivers = [ "intel" ];
   synaptics.enable = true;
   layout = "ch";
   xkbOptions = "eurosign:e,variant:de";
 };
 
 # Add the NixOS Manual on virtual console 8
 services.nixosManual.showManual = true;
 
 environment.systemPackages = with pkgs; [
 
  sudo htop subversion git iotop tmux screen flac mysql
 
  chrome
 
  truecrypt gimp imagemagick skype_linux rsync thunderbird
 
 
 ];
 
 }

nixnutz

 # Edit this configuration file which defines what would be installed on the
 # system.  To Help while choosing option value, you can watch at the manual
 # page of configuration.nix or at the last chapter of the manual available
 # on the virtual console 8 (Alt+F8).
 
 {config, pkgs, ...}:
 
 {
   require = [
     # Include the configuration for part of your system which have been
     # detected automatically.
     ./hardware-configuration.nix
   ];
 
   boot.initrd.kernelModules = [
     # Specify all kernel modules that are necessary for mounting the root
     # file system.
     #
     # "ext4" "ata_piix"
   ];
 
   boot.loader.grub = {
     # Use grub 2 as boot loader.
     enable = true;
     version = 2;
 
     # Define on which hard drive you want to install Grub.
     device = "/dev/sda";
 
     extraEntries = 
       menuentry "Windows7" {
         title Windows7
         insmod ntfs
         set root='(hd1,1)'
         chainloader +1
       }
     ;
 
     extraEntriesBeforeNixOS = true;
   };
 
   
   networking = {
     hostName = "nixnutz"; # Define your hostname.
     interfaceMonitor.enable = true; # Watch for plugged cable.
     wireless.enable = true;
   };
 
   # Add file system entries for each partition that you want to see mounted
   # at boot time.  You can add filesystems which are not mounted at boot by
   # adding the noauto option.
   fileSystems = [
     # Mount the root file system
     #
     { mountPoint = "/";
       #device = "/dev/vol_grp1/root";
       label = "root";
     }
 
     { mountPoint = "/boot";
       #device = "/dev/sda1";
       label = "boot";
     }
 
     # Copy & Paste & Uncomment & Modify to add any other file system.
     #
     # { mountPoint = "/data"; # where you want to mount the device
     #   device = "/dev/sdb"; # the device or the label of the device
     #   # label = "data";
     #   fsType = "ext3";      # the type of the partition.
     #   options = "data=journal";
     # }
   ];
 
   swapDevices = [
     # List swap partitions that are mounted at boot time.
     #
     { 
       #device = "/dev/sda2"; 
       label="swap";
     }
   ];
 
   # Select internationalisation properties.
    i18n = {
      consoleFont = "lat9w-16";
      consoleKeyMap = "us";
      defaultLocale = "en_US.UTF-8";
    };
 
   # List services that you want to enable:
 
   # Add an OpenSSH daemon.
    services.openssh.enable = true;
 
   # Add CUPS to print documents.
   # services.printing.enable = true;
 
   # Add XServer (default if you have used a graphical iso)
    services.xserver = {
      enable = true;
      layout = "us";
      xkbOptions = "eurosign:e";
    };
 
   # Add the NixOS Manual on virtual console 8
   #services.nixosManual.showManual = true;
 
   services.xserver.desktopManager.kde4.enable = true;
   services.xserver.displayManager.kdm.enable = true;
 
   hardware.firmware = [ "/firmware" ];
  
   environment.systemPackages = with pkgs; [
     zsh wget
     #openoffice
     acpitool
     thunderbird
     linuxPackages.virtualbox
     kde4.kdemultimedia
     kde4.kdeaccessibility
     kde4.kdeadmin
     kde4.kdeartwork
     kde4.kdebindings
     kde4.kdeedu
     kde4.kdegames
     kde4.kdegraphics
     kde4.kdelibs
     kde4.kdemultimedia
     kde4.kdenetwork
     kde4.kdepim
     kde4.kdesdk
     kde4.kdetoys
     kde4.kdeutils
     hdparm
   ];
 
   hardware.pulseaudio.enable = true;
   services.acpid.enable = true;
 
   powerManagement.enable = true;
   powerManagement.powerUpCommands="/var/run/current-system/sw/sbin/hdparm -y /dev/sdb";
 
   services.printing.enable = true;
   services.printing.drivers = [ pkgs.splix ] ;
 }
Powered by MediaWiki