From accb8cafeee94cd59d7f42aee23fb9d659e528f2 Mon Sep 17 00:00:00 2001 From: stuebinm Date: Mon, 9 Jan 2023 12:31:55 +0100 Subject: home: a couple useful packages --- home/packages.nix | 6 ++++-- 1 file 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 -- cgit v1.2.3