summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2023-01-09 12:31:55 +0100
committerstuebinm2023-01-09 12:31:55 +0100
commitaccb8cafeee94cd59d7f42aee23fb9d659e528f2 (patch)
tree49c0ed15ad8a23be0b68fc8e0eca655579a2d85b
parentd5272acd5360408095b5eb965c1f45a499897546 (diff)
home: a couple useful packages
Diffstat (limited to '')
-rw-r--r--home/packages.nix6
1 files changed, 4 insertions, 2 deletions
diff --git a/home/packages.nix b/home/packages.nix
index 7a31435..ab4b84d 100644
--- a/home/packages.nix
+++ b/home/packages.nix
@@ -14,7 +14,7 @@ in
{
home.packages = with pkgs; [
inputs.emacs-overlay.packages.x86_64-linux.emacsPgtk
- emacs-all-the-icons-fonts
+ emacs-all-the-icons-fonts nerdfonts
# internet apps & clients
firefox keepassxc chromium mumble lynx
@@ -42,7 +42,7 @@ in
(agda.withPackages (p: [ p.standard-library p.cubical ]))
# html, js & co
jq html-tidy nodePackages.stylelint nodePackages.js-beautify zola
- libxml2
+ libxml2 fq
# purescript
spago purescript # nodePackages.purescript-language-server nodejs
# rust
@@ -54,6 +54,8 @@ in
# nix things
nixfmt niv inputs.deploy-rs.defaultPackage.${system}
haskellPackages.nix-serve-ng
+ # other things
+ mercurial
# isabelle
isabelle.isabelle2022 (isabelle.mkEnv "isabelle-env" "fish")
(import /home/stuebinm/projects/isabelle-utils {}).isabat