Clean up packages.

basic-tools.nix

@@ -7,7 +7,7 @@
     wget
     neovim
     neovim-remote
-    zsh
+    # zsh
     gitFull gitAndTools.hub tig
     gnumake
     m4

common-sw.nix

@@ -19,7 +19,7 @@
     mpv
     neomutt notmuch
     patchelf
-    loc
+    # loc
     tokei
     ripgrep
     imagemagick

i3.nix

@@ -17,13 +17,12 @@
     feh
     gnome_keyring
     networkmanagerapplet
-    gnome_terminal
     nautilus # in closure of gnome-terminal anyhow
-    colord
+    # colord
     evince
     arandr
     xss-lock i3lock
-    xdotool
+    # xdotool
     scrot
     pavucontrol
     dconf-editor

large-sw.nix

@@ -6,7 +6,7 @@
     clion-eap
     texlive.combined.scheme-full biber
     gimp
-    inkscape
+    # inkscape
     jabref
     stable.libreoffice-fresh
     stablePkgs
@@ -19,7 +19,7 @@
     stack
 
     elan
-    coq
+    # coq
     emacsPackages.proofgeneral
 
     rustup