From f72ae6ca69924422204bdd03b8a3b5fdeb3ca368 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Tue, 6 Feb 2024 11:11:49 +0100
Subject: Update emacs config

---
 .emacs | 225 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++--------
 1 file changed, 197 insertions(+), 28 deletions(-)

(limited to '.emacs')

diff --git a/.emacs b/.emacs
index 73f8e48..9532e2b 100644
--- a/.emacs
+++ b/.emacs
@@ -12,20 +12,46 @@
       '((fullscreen . maximized)
         (fullscreen-restore . fullheight)))
 
+;; from https://github.com/emacs-lsp/lsp-mode/issues/4054
+(add-to-list 'image-types 'svg)
+
 ;;; Code:
 (add-hook 'window-setup-hook
          (lambda nil
             ;; font setting
            (set-frame-parameter (selected-frame) 'alpha '(100 100))
            (set-face-attribute 'default nil
-                               :family "Hack"
-                               :height 160)
+                               :family "mononoki"
+                               :height 140)
+
+))
 
-           ))
+(use-package ligature
+  :ensure t
+  :config
+  ;; Enable the www ligature in every possible major mode
+  (ligature-set-ligatures 't '("www"))
+
+  ;; Enable ligatures in programming modes
+  (ligature-set-ligatures 'prog-mode
+                          '("www" "**" "***" "**/" "*>" "*/" "\\\\" "\\\\\\" "{-" "::"
+                            ":::" ":=" "!!" "!=" "!==" "-}" "----" "-->" "->" "->>"
+                            "-<" "-<<" "-~" "#{" "#[" "##" "###" "####" "#(" "#?" "#_"
+                            "#_(" ".-" ".=" ".." "..<" "..." "?=" "??" ";;" "/*" "/**"
+                            "/=" "/==" "/>" "//" "///" "&&" "||" "||=" "|=" "|>" "^=" "$>"
+                            "++" "+++" "+>" "=:=" "==" "===" "==>" "=>" "=>>" "<="
+                            "=<<" "=/=" ">-" ">=" ">=>" ">>" ">>-" ">>=" ">>>" "<*"
+                            "<*>" "<|" "<|>" "<$" "<$>" "<!--" "<-" "<--" "<->" "<+"
+                            "<+>" "<=" "<==" "<=>" "<=<" "<>" "<<" "<<-" "<<=" "<<<"
+                            "<~" "<~~" "</" "</>" "~@" "~-" "~>" "~~" "~~>" "%%"))
+
+  (global-ligature-mode 't)
+  )
 
 (set-face-attribute 'mode-line nil :height 120 :width 'normal)
 (set-face-attribute 'mode-line-inactive nil :height 120 :width 'normal)
 
+
 (use-package unicode-fonts
    :ensure t
    :config
@@ -75,6 +101,7 @@
 (global-set-key (kbd "C-x M-a") "α")
 (global-set-key (kbd "C-x M-b") "β")
 (global-set-key (kbd "C-x M-d") "δ")
+(global-set-key (kbd "C-x M-D") "Δ")
 (global-set-key (kbd "C-x M-l") "λ")
 (global-set-key (kbd "C-x M-n") "ν")
 (global-set-key (kbd "C-x M-p") "π")
@@ -86,6 +113,7 @@
 (global-set-key (kbd "C-x C-g") "γ")
 (global-set-key (kbd "C-x M-P") "Π")
 (global-set-key (kbd "C-x M-S") "Σ")
+(global-set-key (kbd "C-x M-s") "σ")
 (global-set-key (kbd "C-x M-i") (lambda ()
                                   (interactive)
                                   (insert "·")))
@@ -113,7 +141,6 @@
 ;; helm
 ;; from http://tuhdo.github.io/helm-intro.html
 (require 'helm)
-(require 'helm-config)
 
 ;; The default "C-x c" is quite close to "C-x C-c", which quits Emacs.
 ;; Changed to "C-c h". Note: We must set "C-c h" globally, because we
@@ -131,7 +158,7 @@
 (when (executable-find "curl")
   (setq helm-google-suggest-use-curl-p t))
 
-(setq helm-split-window-in-side-p           t ; open helm buffer inside current window, not occupy whole other window
+(setq helm-split-window-inside-p           t ; open helm buffer inside current window, not occupy whole other window
       helm-move-to-line-cycle-in-source     t ; move to end or beginning of source when reaching top or bottom of source.
       helm-ff-search-library-in-sexp        t ; search for library in `require' and `declare-function' sexp.
       helm-scroll-amount                    8 ; scroll 8 lines other window using M-<next>/M-<prior>
@@ -266,6 +293,7 @@
               (concat (getenv "HOME") "/.cabal/bin")
               (concat (getenv "HOME") "/.idris2/bin")
               (concat (getenv "HOME") "/.ghcup/bin")
+              (concat (getenv "HOME") "/.opam/default/bin")
               "/usr/local/bin" ))))
 
 (use-package nix-sandbox)
@@ -282,6 +310,7 @@
 ;; from https://blog.sumtypeofway.com/posts/emacs-config.html
 (use-package haskell-mode
   :ensure t
+  :hook ((haskell-mode . display-line-numbers-mode))
   )
 
 (use-package haskell-snippets
@@ -293,13 +322,19 @@
   ;; we need to defer running lsp because in case there's a direnv
   ;; with use nix, it takes some time to load and lsp won't find the
   ;; language server until the env is setup properly
-  :hook ((haskell-mode . lsp-deferred))
-  :commands (lsp lsp-deferred))
+  :hook
+  ((haskell-mode . lsp-deferred)
+   (rust-mode . lsp))
+  :commands (lsp lsp-deferred)
+  :custom
+  (lsp-modeline-diagnostics-scope :workspace))
+
+(use-package lsp-treemacs
+  :ensure t)
 
 (use-package lsp-haskell
   :ensure t
   :custom
-  (lsp-haskell-fourmolu-on 't)
   (lsp-haskell-formatting-provider "fourmolu"))
 
 (setq lsp-log-io 't)
@@ -602,23 +637,19 @@ when refreshing the calendars reaped out of gmail"
             (outline-minor-mode)))
   :ensure t)
 
-(use-package svelte-mode
-  :ensure t)
-
 (use-package emmet-mode
   :ensure t)
 
 (use-package browse-at-remote
    :ensure t
    :bind
-   (("C-c M-o" . show-remote-get-url))
-   :custom
-   (browse-at-remote-prefer-symbolic t "Use commit hash for more permanent links."))
+   (("C-c M-o" . 'show-remote-get-url)))
 
 (defun show-remote-get-url ()
    "Print the output of browse-at-remote-get-url for current line."
    (interactive)
-   (let ((url (browse-at-remote-kill)))
+   (let ((url (browse-at-remote-get-url)))
+     (kill-new url)
      (message "Source code URL: %s" url)))
 
 (use-package git-timemachine
@@ -631,25 +662,163 @@ when refreshing the calendars reaped out of gmail"
  ;; If you edit it by hand, you could mess it up, so be careful.
  ;; Your init file should contain only one such instance.
  ;; If there is more than one, they won't work right.
+ '(browse-at-remote-prefer-symbolic nil)
  '(browse-at-remote-remote-type-regexps
-   '(("^github\\.com$" . "github")
-     ("^bitbucket\\.org$" . "bitbucket")
-     ("^gitlab\\.com$" . "gitlab")
-     ("^git\\.savannah\\.gnu\\.org$" . "gnu")
-     ("^gist\\.github\\.com$" . "gist")
-     ("^git\\.sr\\.ht$" . "sourcehut")
-     ("^.*\\.visualstudio\\.com$" . "ado")
-     ("^pagure\\.io$" . "pagure")
-     ("^.*\\.fedoraproject\\.org$" . "pagure")
-     ("^.*\\.googlesource\\.com$" . "gitiles")
-     ("^.*.github\\.com$" . "github")))
+   '((:host "^github\\.com$" :type "github")
+     (:host "^bitbucket\\.org$" :type "bitbucket")
+     (:host "^gitlab\\.com$" :type "gitlab")
+     (:host "^git\\.savannah\\.gnu\\.org$" :type "gnu")
+     (:host "^gist\\.github\\.com$" :type "gist")
+     (:host "^git\\.sr\\.ht$" :type "sourcehut")
+     (:host "^.*\\.visualstudio\\.com$" :type "ado")
+     (:host "^pagure\\.io$" :type "pagure")
+     (:host "^.*\\.fedoraproject\\.org$" :type "pagure")
+     (:host "^.*\\.googlesource\\.com$" :type "gitiles")
+     (:host "^mac-mini$" :type "github")
+     (:host "^gitlab\\.gnome\\.org$" :type "gitlab")))
  '(custom-safe-themes
-   '("076ee9f2c64746aac7994b697eb7dbde23ac22988d41ef31b714fc6478fee224" "0a41da554c41c9169bdaba5745468608706c9046231bbbc0d155af1a12f32271" default))
+   '("8746b94181ba961ebd07c7397339d6a7160ee29c75ca1734aa3744274cbe0370" "5fdc0f5fea841aff2ef6a75e3af0ce4b84389f42e57a93edc3320ac15337dc10" "076ee9f2c64746aac7994b697eb7dbde23ac22988d41ef31b714fc6478fee224" "0a41da554c41c9169bdaba5745468608706c9046231bbbc0d155af1a12f32271" default))
+ '(grep-find-ignored-directories
+   '("SCCS" "RCS" "CVS" "MCVS" ".src" ".svn" ".git" ".hg" ".bzr" "_MTN" "_darcs" "{arch}" "node_modules" "docs/build"))
+ '(magit-todos-insert-after '(bottom) nil nil "Changed by setter of obsolete option `magit-todos-insert-at'")
  '(package-selected-packages
-   '(git-timemachine browse-at-remote svelte-mode emmet-mode ormolu modus-themes unicode-fonts helm-ag helm-projectile ag direnv lsp nix-sandbox nix-mode yaml-mode xref-js2 web-mode use-package tide terraform-mode rainbow-delimiters prop-menu projectile outshine org-mime magit lsp-ui lsp-haskell literate-calc-mode js2-refactor intero helm google-translate expand-region elpy elm-mode elfeed editorconfig crux color-theme)))
+   '(format-all proof-general graphviz-dot-mode rust-mode slime lsp-treemacs elpher ligature magit-todos hl-todo ansible ocamlformat flycheck-ocaml merlin-eldoc merlin dune tuareg janet-mode dockerfile-mode zig-mode plantuml-mode gnuplot-mode sensei helm-rg git-timemachine browse-at-remote svelte-mode emmet-mode ormolu modus-themes unicode-fonts helm-ag helm-projectile ag direnv lsp nix-sandbox nix-mode yaml-mode xref-js2 web-mode use-package tide terraform-mode rainbow-delimiters prop-menu projectile outshine org-mime magit lsp-ui literate-calc-mode js2-refactor intero helm google-translate expand-region elpy elm-mode elfeed editorconfig crux color-theme))
+ '(safe-local-variable-values
+   '((TeX-master . "main")
+     (eval highlight-regexp "^ +")
+     (lsp-haskell-server-path . "haskell-language-server-wrapper"))))
 (custom-set-faces
  ;; custom-set-faces was added by Custom.
  ;; If you edit it by hand, you could mess it up, so be careful.
  ;; Your init file should contain only one such instance.
  ;; If there is more than one, they won't work right.
  )
+
+(use-package sensei
+  :ensure t
+  :bind
+  (("C-x r n" . sensei-record-note))
+  (("C-x r f" . sensei-record-flow)))
+
+;; https://gist.github.com/kristianhellquist/3082383
+(defun copy-current-line-position-to-clipboard ()
+  "Copy current line in file to clipboard as '</path/to/file>:<line-number>'"
+  (interactive)
+  (let ((path-with-line-number
+         (concat (buffer-file-name) ":" (number-to-string (line-number-at-pos)))))
+    (x-select-text path-with-line-number)
+    (message (concat path-with-line-number " copied to clipboard"))))
+
+(define-key global-map (kbd "M-l") 'copy-current-line-position-to-clipboard)
+
+;; Major mode for OCaml programming
+(use-package tuareg
+  :ensure t
+  :mode (("\\.ocamlinit\\'" . tuareg-mode)))
+
+;; Major mode for editing Dune project files
+(use-package dune
+  :ensure t)
+
+;; Merlin provides advanced IDE features
+(use-package merlin
+  :ensure t
+  :config
+  (add-hook 'tuareg-mode-hook #'merlin-mode)
+  (add-hook 'merlin-mode-hook #'company-mode)
+  ;; we're using flycheck instead
+  (setq merlin-error-after-save nil))
+
+(use-package merlin-eldoc
+  :ensure t
+  :hook ((tuareg-mode) . merlin-eldoc-setup))
+
+;; This uses Merlin internally
+(use-package flycheck-ocaml
+  :ensure t
+  :config
+  (flycheck-ocaml-setup))
+
+(use-package direnv
+  :ensure t
+  :config
+  (direnv-mode))
+
+(use-package ocamlformat
+  :ensure t
+  :custom (ocamlformat-enable 'enable-outside-detected-project)
+  :hook (before-save . ocamlformat-before-save)
+  )
+
+(add-to-list 'load-path "/Users/arnaud/.opam/default/share/emacs/site-lisp")
+(require 'ocp-indent)
+
+(use-package zig-mode
+  :ensure t)
+
+(setq lsp-zig-zls-executable (concat (getenv "HOME") "/.local/bin/zls"))
+
+;; highlight-todo
+(use-package hl-todo
+  :ensure t
+  :config
+  (setq hl-todo-highlight-punctuation ":"
+        hl-todo-keyword-faces
+        `(("TODO"       warning bold)
+          ("FIXME"      error bold)
+          ("HACK"       font-lock-constant-face bold)
+          ("REVIEW"     font-lock-keyword-face bold)
+          ("NOTE"       success bold)
+          ("DEPRECATED" font-lock-doc-face bold)))
+  :hook ((prog-mode . hl-todo-mode)
+         (yaml-mode . hl-todo-mode)))
+
+(use-package magit-todos
+  :ensure t
+  :config
+  (setq magit-todos-exclude-globs '("node_modules/*")))
+
+;; workaround the annoying open file limit baked in low-level library
+;; https://www.blogbyben.com/2022/05/gotcha-emacs-on-mac-os-too-many-files.html
+(defun file-notify-rm-all-watches ()
+  "Remove all existing file notification watches from Emacs."
+  (interactive)
+  (maphash
+   (lambda (key _value)
+     (file-notify-rm-watch key))
+   file-notify-descriptors))
+
+(load-file (let ((coding-system-for-read 'utf-8))
+                (shell-command-to-string "agda-mode locate")))
+
+(load (expand-file-name "~/quicklisp/slime-helper.el"))
+
+;; common lisp
+(use-package slime
+  :ensure t
+  :config
+  (setq slime-lisp-implementations
+      '((sbcl ("sbcl" "--dynamic-space-size" "1024000") :coding-system utf-8-unix))))
+
+
+;; rust
+(use-package rust-mode
+  :ensure t
+  :config
+  (setq rust-format-on-save t)
+  :hook
+  ((rust-mode . prettify-symbols-mode)
+   (rust-mode . display-line-numbers-mode)))
+
+;; coq
+(use-package proof-general
+  :ensure t)
+
+(use-package format-all
+  :ensure t
+  :commands format-all-mode
+  :hook (prog-mode . format-all-mode)
+  :config
+  (setq-default format-all-formatters
+                '(("Haskell" fourmolu)
+                  ("Shell"   (shfmt "-i" "4" "-ci")))))
-- 
cgit v1.2.3