home/natto: misc config changes

Signed-off-by: Amneesh Singh <natto@weirdnatto.in>

home/natto/emacs.nix

@@ -3,13 +3,27 @@ let
   mymacs = config: # with inputs.emacs-overlay.packages.${pkgs.system}; already resolved with overlay
     with pkgs; emacsWithPackagesFromUsePackage {
       inherit config;
-      package = emacsPgtk;
+      package = emacs-pgtk;
       alwaysEnsure = true;
       alwaysTangle = true;
       extraEmacsPackages = epkgs: with epkgs; [
         use-package
         (epkgs.tree-sitter-langs.withPlugins (_: epkgs.tree-sitter-langs.plugins))
       ];
+     /* override = {
+        stm32-emacs = trivialBuild rec {
+          pname = "stm32-emacs";
+          version = haskellPackages.Agda.version;
+
+          dontUnpack = true;
+
+          # already byte-compiled by Agda builder
+          buildPhase = ''
+            agda=`${haskellPackages.Agda}/bin/agda-mode locate`
+            cp `dirname $agda`/*.el* .
+          '';
+        };
+      };*/
     };
 in
 {