[emacs][wip] enable web packages

[~bandali/configs] / init.org

diff --git a/init.org b/init.org
index 0d3760b..9927089 100644 (file)
--- a/init.org
+++ b/init.org
@@ -1210,24 +1210,9 @@ There's no way I could top that, so I won't attempt to.
   (setq help-window-select t))
 #+end_src
 
   (setq help-window-select t))
 #+end_src
 

-*** Borg's =layer/essentials=
-:PROPERTIES:
-:CUSTOM_ID: borg-essentials
-:END:
-
-TODO: break this giant source block down into individual org sections.
+*** Tramp

 
 #+begin_src emacs-lisp
 
 #+begin_src emacs-lisp

-(use-package dash
-  :config (dash-enable-font-lock))
-
-(use-feature man
-  :defer t
-  :config (setq Man-width 80))
-
-(use-feature simple
-  :config (column-number-mode))
-

 (use-feature tramp
   :defer t
   :config
 (use-feature tramp
   :defer t
   :config


@@ -1235,7 +1220,14 @@ TODO: break this giant source block down into individual org sections.
   (add-to-list 'tramp-default-proxies-alist '("localhost" nil nil))
   (add-to-list 'tramp-default-proxies-alist
                (list (regexp-quote (system-name)) nil nil)))
   (add-to-list 'tramp-default-proxies-alist '("localhost" nil nil))
   (add-to-list 'tramp-default-proxies-alist
                (list (regexp-quote (system-name)) nil nil)))

+#+end_src
+
+*** Dash

 
 

+#+begin_src emacs-lisp
+(use-package dash
+  :defer t
+  :config (dash-enable-font-lock))

 #+end_src
 
 * Editing
 #+end_src
 
 * Editing


@@ -1311,19 +1303,7 @@ Automatically save place in each file.
          (text-mode . abbrev-mode)))
 #+end_src
 
          (text-mode . abbrev-mode)))
 #+end_src
 

-** =lisp-mode=
-
-#+begin_src emacs-lisp
-(use-feature lisp-mode
-  :config
-  (add-hook 'emacs-lisp-mode-hook 'outline-minor-mode)
-  (add-hook 'emacs-lisp-mode-hook 'reveal-mode)
-  (defun indent-spaces-mode ()
-    (setq indent-tabs-mode nil))
-  (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode))
-#+end_src
-
-** COMMENT Company
+** Company

 
 #+begin_src emacs-lisp
 (use-package company
 
 #+begin_src emacs-lisp
 (use-package company


@@ -1342,10 +1322,7 @@ Automatically save place in each file.
   (global-company-mode t))
 #+end_src
 
   (global-company-mode t))
 #+end_src
 

-* COMMENT Syntax and spell checking
-:PROPERTIES:
-:CUSTOM_ID: syntax-spell-checking
-:END:
+** Flycheck

 
 #+begin_src emacs-lisp
 (use-package flycheck
 
 #+begin_src emacs-lisp
 (use-package flycheck


@@ -1389,15 +1366,28 @@ Automatically save place in each file.
               #'endless/replace-quote))
 #+end_src
 
               #'endless/replace-quote))
 #+end_src
 

-* COMMENT Programming modes
+* Programming modes

 :PROPERTIES:
 :CUSTOM_ID: programming-modes
 :END:
 
 :PROPERTIES:
 :CUSTOM_ID: programming-modes
 :END:
 

+** Lisp
+
+#+begin_src emacs-lisp
+(use-feature lisp-mode
+  :config
+  (add-hook 'emacs-lisp-mode-hook 'outline-minor-mode)
+  (add-hook 'emacs-lisp-mode-hook 'reveal-mode)
+  (defun indent-spaces-mode ()
+    (setq indent-tabs-mode nil))
+  (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode))
+#+end_src
+

 ** [[http://alloytools.org][Alloy]] (with [[https://github.com/dwwmmn/alloy-mode][alloy-mode]])
 
 #+begin_src emacs-lisp
 (use-package alloy-mode
 ** [[http://alloytools.org][Alloy]] (with [[https://github.com/dwwmmn/alloy-mode][alloy-mode]])
 
 #+begin_src emacs-lisp
 (use-package alloy-mode

+  :straight (:host github :repo "dwwmmn/alloy-mode")

   :defer t
   :config (setq alloy-basic-offset 2))
 #+end_src
   :defer t
   :config (setq alloy-basic-offset 2))
 #+end_src


@@ -1405,9 +1395,8 @@ Automatically save place in each file.
 ** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]])
 
 #+begin_src emacs-lisp
 ** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]])
 
 #+begin_src emacs-lisp

-(use-package proof-site  ; Proof General
-  :defer t
-  :load-path "lib/proof-site/generic/")
+(use-package proof-general
+  :defer t)

 #+end_src
 
 ** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])
 #+end_src
 
 ** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])


@@ -1617,7 +1606,7 @@ instead.
               ("C-c l l" . hs-lint)))
 #+end_src
 
               ("C-c l l" . hs-lint)))
 #+end_src
 

-** Web dev
+** Web

 
 *** SGML and HTML
 
 
 *** SGML and HTML
 


@@ -1744,21 +1733,20 @@ treemacs
   :after (treemacs))
 #+end_src
 
   :after (treemacs))
 #+end_src
 

-** geiser
+** COMMENT geiser

 
 #+begin_src emacs-lisp
 (use-package geiser)
 
 
 #+begin_src emacs-lisp
 (use-package geiser)
 

-(use-package geiser-guile
+(use-feature geiser-guile

   :config
   (setq geiser-guile-load-path "~/src/git/guix"))
 #+end_src
 
   :config
   (setq geiser-guile-load-path "~/src/git/guix"))
 #+end_src
 

-** guix
+** COMMENT guix

 
 #+begin_src emacs-lisp
 
 #+begin_src emacs-lisp

-(use-package guix
-  :load-path "lib/guix/elisp")
+(use-package guix)

 #+end_src
 
 * COMMENT Emacs enhancements
 #+end_src
 
 * COMMENT Emacs enhancements


@@ -1766,6 +1754,14 @@ treemacs
 :CUSTOM_ID: emacs-enhancements
 :END:
 
 :CUSTOM_ID: emacs-enhancements
 :END:
 

+** man
+
+#+begin_src emacs-lisp
+(use-feature man
+  :defer t
+  :config (setq Man-width 80))
+#+end_src
+

 ** [[https://github.com/justbur/emacs-which-key][which-key]]
 
 #+begin_quote
 ** [[https://github.com/justbur/emacs-which-key][which-key]]
 
 #+begin_quote