remove bad packages

This commit is contained in:
Rachel Lambda Samuelsson 2023-08-15 10:06:47 +02:00
parent 62d6c679ca
commit a50d98b67f

View File

@ -128,48 +128,31 @@ in
enable = true; enable = true;
package = pkgs.emacs-gtk; package = pkgs.emacs-gtk;
extraPackages = epkgs: with epkgs; with melpaStablePackages; [ extraPackages = epkgs: with epkgs; with melpaStablePackages; [
magit
nix-mode nix-mode
julia-repl
julia-mode
lean-mode
proof-general
pdf-tools pdf-tools
dune dune
tuareg tuareg
idris-mode idris-mode
haskell-emacs-base
multi-vterm multi-vterm
dmenu
markdown-preview-mode
markdown-mode
exwm
org-superstar org-superstar
org-fragtog org-fragtog
visual-fill visual-fill
writeroom-mode writeroom-mode
haskell-emacs
treemacs-evil
treemacs
solarized-theme solarized-theme
doom-modeline doom-modeline
all-the-icons-dired all-the-icons-dired
page-break-lines page-break-lines
all-the-icons all-the-icons
dashboard dashboard
org-evil
zotero
vterm vterm
undo-fu undo-fu
latex-math-preview latex-math-preview
haskell-mode haskell-mode
evil-surround evil-surround
evil-org evil-org
evil
evil-commentary evil-commentary
evil-leader evil-leader
meow evil
purescript-mode
]; ];
}; };