Use my own emacs, with gtk3 and webkit.

common-sw.nix

@@ -40,7 +40,8 @@
     ghc-mod
 
     # emacs
-    emacs
+    # emacs
+    emacsPackages.cask
     ghostscript # for auctex
     aspell
 

common.nix

@@ -42,6 +42,7 @@
 
   boot.kernel.sysctl = {
     "kernel.perf_event_paranoid" = "0";
+    "kernel.kptr_restrict" = pkgs.lib.mkForce "0";
 
     # IntelliJ
     "fs.inotify.max_user_watches" = 524288;

large-sw.nix

@@ -14,6 +14,18 @@
     atom
 
     coq_8_5
+
+    myemacs
+
+    # cargo rustc
   ] ++ (with aspellDicts; [ en de fr nl ]);
 
+  nixpkgs.config.packageOverrides = pkgs: with pkgs; {
+    myemacs = emacs25.override {
+      withGTK2 = false;
+      withGTK3 = true;
+      withXwidgets = true;
+    };
+  };
+
 }

theba.nix

@@ -67,6 +67,6 @@
 
   # boot.kernelPackages = pkgs.lib.mkOverride 10 pkgs.linuxPackages;
 
-  time.timeZone = pkgs.lib.mkOverride 10 "US/Eastern";
+  # time.timeZone = pkgs.lib.mkOverride 10 "US/Eastern";
 
 }