configuration.nix

# Edit this configuration file to define what should be installed on
# your system.  Help is available in the configuration.nix(5) man page
# and in the NixOS manual (accessible by running ‘nixos-help’).

{ config, pkgs, ... }:

{
  imports =
    [ # Include the results of the hardware scan.
      ./hardware-configuration.nix
    ];

  # Use the GRUB 2 boot loader.
  boot.loader.grub.enable = true;
  boot.loader.grub.version = 2;
  # Define on which hard drive you want to install Grub.
  boot.loader.grub.device = "/dev/sda";

  networking.hostName = "ada"; # Define your hostname.
  networking.hostId = "5ed19a32";
  # networking.wireless.enable = true;  # Enables wireless.

  # time
  time.timeZone = "America/Denver";

  # Select internationalisation properties.
  i18n = {
    consoleFont = "lat9w-16";
    consoleKeyMap = "us";
    defaultLocale = "en_US.UTF-8";
  };

  # we're a vbox guest
  services.virtualboxGuest.enable = true;
  boot.initrd.checkJournalingFS = false;

  # List packages installed in system profile. To search by name, run:
  # $ nix-env -qaP | grep wget
  environment.systemPackages = with pkgs; [
    wget
    chromium
    libreoffice
    gcc
    clisp
    ocaml
    clang
    python
    python3
    gdb
    emacs
    emacs24Packages.haskellMode
    vimHugeX
    unzip
    git
    zsh
    fish
    cmake
    autoconf   
  ];

  # List services that you want to enable:

  # Enable the OpenSSH daemon.
  services.openssh.enable = true;

  # Enable CUPS to print documents.
  services.printing.enable = true;

  # Enable the X11 windowing system.
  services.xserver.enable = true;
  services.xserver.layout = "us";
  services.xserver.xkbOptions = "eurosign:e";

  # Enable the KDE Desktop Environment.
  services.xserver.displayManager.kdm.enable = true;
  services.xserver.desktopManager.kde4.enable = true;

  # Define a user account. Don't forget to set a password with ‘passwd’.
  users.extraUsers.guest = {
    isNormalUser = true;
    uid = 1001;
  };

  # me
  users.extraUsers.khan = {
    name = "khan";
    extraGroups = [ "users" "wheel" "audio" "video" "vboxusers" ];
    uid = 1000;
    createHome = true;
    home = "/home/khan";
    shell = "/bin/bash"; 
  };

}