summaryrefslogtreecommitdiff
path: root/home
diff options
context:
space:
mode:
authorstuebinm2024-06-25 00:42:33 +0200
committerstuebinm2024-06-25 00:42:33 +0200
commit566b7b8ba6e5798f3f8e9fe479a1f6ee792d6310 (patch)
tree391063ecb4491a378b21b717073fed5f1917c605 /home
parente33a3671780700010c4760acdfdd7a8a8d34acf3 (diff)
home: remove some packages i don't really use
Diffstat (limited to 'home')
-rw-r--r--home/packages.nix37
-rw-r--r--home/unstable.nix1
2 files changed, 11 insertions, 27 deletions
diff --git a/home/packages.nix b/home/packages.nix
index 16e8e3c..0250184 100644
--- a/home/packages.nix
+++ b/home/packages.nix
@@ -10,12 +10,12 @@ in
emacs-all-the-icons-fonts nerdfonts
# internet apps & clients
- firefox keepassxc mumble lynx thunderbird offpunk
- openconnect matterhorn tdesktop monolith magic-wormhole-rs
+ firefox keepassxc mumble lynx offpunk
+ openconnect tdesktop monolith magic-wormhole-rs
dino
# graphics & audio
- audacity blender darktable kdenlive moc ffmpeg-full
- gimp-with-plugins inkscape krita meshlab pavucontrol moc
+ audacity blender darktable ffmpeg-full
+ gimp-with-plugins inkscape krita pavucontrol
gst_all_1.gstreamer vimiv-qt
# LaTeX & documents
xournal pandoc zathura pdfpc
@@ -27,12 +27,12 @@ in
# general cli utils
almanac libnotify grim slurp (zbar.override { enableVideo = false; withXorg = false; })
wl-clipboard showrt
- kijetesantakaluotokieni mpc_cli duf dufs progress hledger
+ kijetesantakaluotokieni mpc_cli dufs progress hledger
wineWowPackages.full sops xdg-utils exiftool
mercurial darcs git-annex-remote-remarkable2
rlwrap
# graphical utils
- kitty baobab
+ kitty
# gnss things
gpsd # galmon-full
# transport things
@@ -48,37 +48,22 @@ in
racket dhall dune_2 ocamlPackages.utop ocamlPackages.ocp-indent
ocamlPackages.merlin ocaml gauche
(agda.withPackages (p: [ p.standard-library p.cubical ]))
- (twelf.overrideAttrs (old: {
- src = fetchFromGitHub {
- owner = "k4rtik";
- repo = "twelf";
- rev = "c1bec0d0b9fa506e36bb364b1765191b159e6c4c";
- hash = "sha256-sh/yMlCvMMq6GBqAKO+V0Bcyp38zB7I/3H8a0fxqOos=";
- };
- }))
+
# html, js & co
jq ijq html-tidy nodePackages.stylelint nodePackages.js-beautify zola
libxml2 fq htmlq
- # purescript
- #spago purescript # nodePackages.purescript-language-server nodejs
# rust
- #cargo rustc
- rust-bin.stable.latest.minimal
- rust-analyzer rustfmt
+ rust-bin.stable.latest.minimal rust-analyzer rustfmt
# go
go gopls godef gore gotests gomodifytags
# C/C++
clang clang-tools rtags irony-server
# others
- julia python39 inweb
+ python39 inweb
# nix things
- niv
- #haskellPackages.nix-serve-ng
- nix-doc nix-output-monitor
- direnv
+ niv npins nix-output-monitor direnv
# isabelle
- (isabelle.mkEnv "isabelle-env" "fish")
- isabat
+ (isabelle.mkEnv "isabelle-env" "fish") isabat
(import inputs.traveltext { inherit pkgs; })
];
diff --git a/home/unstable.nix b/home/unstable.nix
index 6c2f598..f4fbccc 100644
--- a/home/unstable.nix
+++ b/home/unstable.nix
@@ -12,7 +12,6 @@ with inputs.nixpkgs-unstable;
cp -r $src/{bin,lib} $out
'';
})
- gleam
yazi
];