diff --git a/basic-tools.nix b/basic-tools.nix index f86e836..f4e8105 100644 --- a/basic-tools.nix +++ b/basic-tools.nix @@ -7,7 +7,7 @@ wget neovim neovim-remote - zsh + # zsh gitFull gitAndTools.hub tig gnumake m4 diff --git a/common-sw.nix b/common-sw.nix index cff88cf..66e3abb 100644 --- a/common-sw.nix +++ b/common-sw.nix @@ -19,7 +19,7 @@ mpv neomutt notmuch patchelf - loc + # loc tokei ripgrep imagemagick diff --git a/i3.nix b/i3.nix index 712879f..e1bd2ca 100644 --- a/i3.nix +++ b/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 diff --git a/large-sw.nix b/large-sw.nix index 5d8e707..e52aab0 100644 --- a/large-sw.nix +++ b/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