init conf

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, ... }:
+
+with pkgs;
+let
+  my_R = rWrapper.override{ 
+    packages = with rPackages; 
+      [ 
+        ggplot2
+        shiny
+        foreign
+        knitr
+        rmarkdown
+      ]; 
+  };
+in
+{
+  imports =
+    [ # Include the results of the hardware scan.
+      ./hardware-configuration.nix
+    ];
+
+  # Use the systemd-boot EFI boot loader.
+  boot = {
+    loader = {
+      systemd-boot.enable = true;
+      efi.canTouchEfiVariables = true;
+    };
+    
+    initrd.luks.devices = [
+      {
+        name = "root";
+        device = "/dev/disk/by-uuid/97c496d4-5008-49bd-834b-fdc5e5b89f2a";
+        preLVM = true;
+        allowDiscards = true;
+      }
+    ];
+  };
+  
+
+  # networking.hostName = "nixos"; # Define your hostname.
+  # networking.wireless.enable = true;  # Enables wireless support via wpa_supplicant.
+  networking.networkmanager.enable = true;  
+
+  # Configure network proxy if necessary
+  # networking.proxy.default = "http://user:password@proxy:port/";
+  # networking.proxy.noProxy = "127.0.0.1,localhost,internal.domain";
+  
+
+  # Select internationalisation properties.
+  i18n = {
+    consoleFont = "Lat2-Terminus16";
+    consoleKeyMap = "fr-bepo";
+    defaultLocale = "en_US.UTF-8";
+    supportedLocales = [
+      "de_DE.UTF-8/UTF-8"
+      "en_US.UTF-8/UTF-8"
+      "fr_FR.UTF-8/UTF-8"
+      "fi_FI.UTF-8/UTF-8" ];
+  };
+
+  # Set your time zone.
+  time.timeZone = "Europe/Paris";
+
+  # List packages installed in system profile. To search, run:
+  # $ nix search wget
+  environment.systemPackages = with pkgs; [
+    # internet
+    wget 
+    # utils
+    htop
+    # writing
+    vim 
+    # LaTeX
+    texlive.combined.scheme-basic
+    rubber
+    pandoc
+    # development	
+    git
+    gnumake
+    my_R
+  ];
+
+
+  # Some programs need SUID wrappers, can be configured further or are
+  # started in user sessions.
+  # programs.mtr.enable = true;
+  # programs.gnupg.agent = { enable = true; enableSSHSupport = true; };
+
+  # List services that you want to enable:
+
+  # Enable the OpenSSH daemon.
+  # services.openssh.enable = true;
+
+  # Open ports in the firewall.
+  # networking.firewall.allowedTCPPorts = [ ... ];
+  # networking.firewall.allowedUDPPorts = [ ... ];
+  # Or disable the firewall altogether.
+  # networking.firewall.enable = false;
+
+  # Enable CUPS to print documents.
+  # services.printing.enable = true;
+
+  # Enable sound.
+  # sound.enable = true;
+  # hardware.pulseaudio.enable = true;
+
+  services = {
+    xserver = {
+      enable = true;
+      layout = "fr";
+      xkbVariant = "bepo";
+      autorun = true;
+
+      libinput = {
+        enable = true;
+        disableWhileTyping = true;
+      };
+
+      displayManager.gdm.enable = true;
+      desktopManager.gnome3.enable = true;
+    };
+  };
+  # Enable the X11 windowing system.
+  # services.xserver.enable = true;
+  # services.xserver.layout = "us";
+  # services.xserver.xkbOptions = "eurosign:e";
+
+  # Enable touchpad support.
+  # services.xserver.libinput.enable = true;
+
+  # Enable the KDE Desktop Environment.
+  # services.xserver.displayManager.sddm.enable = true;
+  # services.xserver.desktopManager.plasma5.enable = true;
+
+  # Define a user account.
+  programs.fish.enable = true;
+  users.users.arichard = {
+    isNormalUser = true;
+    home = "/home/arichard";
+    description = "A. Richard";
+    extraGroups = [ "wheel" "networkmanager" ];
+    shell = pkgs.fish;
+    uid = 1000;
+  };
+
+  # This value determines the NixOS release with which your system is to be
+  # compatible, in order to avoid breaking some software such as database
+  # servers. You should change this only after NixOS release notes say you
+  # should.
+  system.stateVersion = "18.09"; # Did you read the comment?
+
+}