From a50d98b67f03e4e18cf0f9d4bbe51a0ab20ce90b Mon Sep 17 00:00:00 2001 From: Rachel Lambda Samuelsson Date: Tue, 15 Aug 2023 10:06:47 +0200 Subject: [PATCH] remove bad packages --- home/rachel.nix | 19 +------------------ 1 file changed, 1 insertion(+), 18 deletions(-) diff --git a/home/rachel.nix b/home/rachel.nix index b699d06..6bf1694 100644 --- a/home/rachel.nix +++ b/home/rachel.nix @@ -128,48 +128,31 @@ in enable = true; package = pkgs.emacs-gtk; extraPackages = epkgs: with epkgs; with melpaStablePackages; [ - magit nix-mode - julia-repl - julia-mode - lean-mode - proof-general pdf-tools dune tuareg idris-mode - haskell-emacs-base multi-vterm - dmenu - markdown-preview-mode - markdown-mode - exwm org-superstar org-fragtog visual-fill writeroom-mode - haskell-emacs - treemacs-evil - treemacs solarized-theme doom-modeline all-the-icons-dired page-break-lines all-the-icons dashboard - org-evil - zotero vterm undo-fu latex-math-preview haskell-mode evil-surround evil-org - evil evil-commentary evil-leader - meow - purescript-mode + evil ]; };