From c7d02db34e00448c7adbf90a00cffb19e45665d7 Mon Sep 17 00:00:00 2001
From: h7x4 <h7x4@nani.wtf>
Date: Mon, 13 Apr 2026 14:26:58 +0900
Subject: [PATCH] home/emacs: fetch a lot of packages directly from nixpkgs

---
 home/programs/emacs/default.nix | 65 +++++++++++++++++++++++++--------
 1 file changed, 50 insertions(+), 15 deletions(-)

diff --git a/home/programs/emacs/default.nix b/home/programs/emacs/default.nix
index 532247f..dc48561 100644
--- a/home/programs/emacs/default.nix
+++ b/home/programs/emacs/default.nix
@@ -22,22 +22,57 @@ lib.mkIf cfg.enable {
 
   programs.emacs = {
     extraPackages = epkgs: with epkgs; [
-    #   # package
+      # gruber-darker-theme
+      # recentf
+      centaur-tabs
+      company
+      company-box
+      company-coq
+      counsel
+      dashboard
+      doom-modeline
+      drag-stuff
+      emojify
+      envrc
+      evil
+      evil-collection
+      evil-escape
+      evil-nerd-commenter
+      evil-org
+      fira-code-mode
+      flycheck
+      general
+      git-gutter
+      helpful
+      highlight-defined
+      hl-todo
+      ivy
+      ivy-rich
+      ivy-yasnippet
+      lorem-ipsum
+      lsp-ivy
+      lsp-mode
+      lsp-treemacs
+      lsp-ui
+      magit
+      monokai-theme
+      nix-mode
+      org
+      org-superstar
+      projectile
+      proof-general
+      rainbow-delimiters
+      ripgrep
+      swiper
+      treemacs
+      treemacs-evil
+      treemacs-icons-dired
+      treemacs-magit
+      treemacs-projectile
       use-package
-    #   evil
-    #   evil-collection
-    #   evil-nerd-commenter
-    #   # org
-    #   evil-org
-    #   monokai-theme
-    #   gruber-darker-theme
-    #   company
-    #   flycheck
-    #   projectile
-    #   yasnippet
-    #   magit
-    #   # recentf
-    #   which-key
+      which-key
+      writeroom-mode
+      yasnippet
     ];
   };
 }