tvl-depot/users/grfn/emacs.d/config.el
Griffin Smith 6266c5d32f refactor(users/glittershark): Rename to grfn
Rename my //users directory and all places that refer to glittershark to
grfn, including nix references and documentation.

This may require some extra attention inside of gerrit's database after
it lands to allow me to actually push things.

Change-Id: I4728b7ec2c60024392c1c1fa6e0d4a59b3e266fa
Reviewed-on: https://cl.tvl.fyi/c/depot/+/2933
Tested-by: BuildkiteCI
Reviewed-by: tazjin <mail@tazj.in>
Reviewed-by: lukegb <lukegb@tvl.fyi>
Reviewed-by: glittershark <grfn@gws.fyi>
2021-04-12 14:45:51 +00:00

1109 lines
33 KiB
EmacsLisp
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

;;; -*- lexical-binding: t; -*-
;; I've swapped these keys on my keyboard
(setq x-super-keysym 'alt
x-alt-keysym 'meta)
(setq user-mail-address "root@gws.fyi"
user-full-name "Griffin Smith")
(let ((font-family (pcase system-type
('darwin "MesloLGSDZ NF")
('gnu/linux "Meslo LGSDZ Nerd Font"))))
(setq doom-font (font-spec :family font-family :size 14)
doom-big-font (font-spec :family font-family :size 24)
doom-big-font-increment 5
doom-variable-pitch-font (font-spec :family "DejaVu Sans")
doom-unicode-font (font-spec :family font-family)))
(require 's)
(undefine-key! :keymaps 'doom-leader-map "/")
(load! "utils")
(load! "company-sql")
(load! "org-query")
(load! "show-matching-paren")
(load! "irc")
(load! "github-org")
(load! "org-gcal")
(load! "grid")
(load! "nix")
(load! "email")
(load! "cpp")
(load! "lisp")
(load! "clojure")
(load! "rust")
(load! "terraform")
(require 'tvl)
(add-hook! elixir-mode
(require 'flycheck-credo)
(setq flycheck-elixir-credo-strict t)
(flycheck-credo-setup)
(require 'flycheck-mix) (flycheck-mix-setup)
(require 'flycheck-dialyxir) (flycheck-dialyxir-setup)
(flycheck-mode))
(setq +solarized-s-base03 "#002b36"
+solarized-s-base02 "#073642"
;; emphasized content
+solarized-s-base01 "#586e75"
;; primary content
+solarized-s-base00 "#657b83"
+solarized-s-base0 "#839496"
;; comments
+solarized-s-base1 "#93a1a1"
;; background highlight light
+solarized-s-base2 "#eee8d5"
;; background light
+solarized-s-base3 "#fdf6e3"
;; Solarized accented colors
+solarized-yellow "#b58900"
+solarized-orange "#cb4b16"
+solarized-red "#dc322f"
+solarized-magenta "#d33682"
+solarized-violet "#6c71c4"
+solarized-blue "#268bd2"
+solarized-cyan "#2aa198"
+solarized-green "#859900"
;; Darker and lighter accented colors
;; Only use these in exceptional circumstances!
+solarized-yellow-d "#7B6000"
+solarized-yellow-l "#DEB542"
+solarized-orange-d "#8B2C02"
+solarized-orange-l "#F2804F"
+solarized-red-d "#990A1B"
+solarized-red-l "#FF6E64"
+solarized-magenta-d "#93115C"
+solarized-magenta-l "#F771AC"
+solarized-violet-d "#3F4D91"
+solarized-violet-l "#9EA0E5"
+solarized-blue-d "#00629D"
+solarized-blue-l "#69B7F0"
+solarized-cyan-d "#00736F"
+solarized-cyan-l "#69CABF"
+solarized-green-d "#546E00"
+solarized-green-l "#B4C342")
(defcustom theme-overrides nil
"Association list of override faces to set for different custom themes.")
(defadvice load-theme (after theme-set-overrides activate)
(dolist (theme-settings theme-overrides)
(let ((theme (car theme-settings))
(faces (cadr theme-settings)))
(if (member theme custom-enabled-themes)
(progn
(dolist (face faces)
(custom-theme-set-faces theme face)))))))
(defun alist-set (alist-symbol key value)
"Set VALUE of a KEY in ALIST-SYMBOL."
(set alist-symbol (cons (list key value) (assq-delete-all key (eval alist-symbol)))))
(comment
(custom-theme-set-faces 'grfn-solarized-light
`(font-lock-doc-face
((t (:foreground ,+solarized-s-base1)))))
+solarized-s-base1
(custom-theme-)
(custom-face-get-current-spec 'font-lock-doc-face)
)
(alist-set 'theme-overrides 'grfn-solarized-light
`((font-lock-doc-face ((t (:foreground ,+solarized-s-base1))))
(font-lock-preprocessor-face ((t (:foreground ,+solarized-red))))
(font-lock-keyword-face ((t (:foreground ,+solarized-green :bold nil))))
(font-lock-builtin-face ((t (:foreground ,+solarized-s-base01
:bold t))))
(elixir-attribute-face ((t (:foreground ,+solarized-blue))))
(elixir-atom-face ((t (:foreground ,+solarized-cyan))))
(linum ((t (:background ,+solarized-s-base2 :foreground ,+solarized-s-base1))))
(line-number ((t (:background ,+solarized-s-base2 :foreground ,+solarized-s-base1))))
(line-number-current-line ((t (:background ,+solarized-s-base2 :foreground ,+solarized-s-base1))))
(haskell-operator-face ((t (:foreground ,+solarized-green))))
(haskell-keyword-face ((t (:foreground ,+solarized-cyan))))
(org-drawer ((t (:foreground ,+solarized-s-base1
:bold t))))))
(setq solarized-use-variable-pitch nil
solarized-scale-org-headlines nil
solarized-use-less-bold t)
(add-to-list 'custom-theme-load-path "~/.doom.d/themes")
(load-theme 'grfn-solarized-light t)
(defface haskell-import-face `((t (:foreground ,+solarized-magenta))) "")
(setq doom-theme 'grfn-solarized-light)
; (setq doom-theme 'doom-solarized-light)
(add-hook! doom-post-init
(set-face-attribute 'bold nil :weight 'ultra-light)
(set-face-bold 'bold nil)
(enable-theme 'grfn-solarized-light))
(defun rx-words (&rest words)
(rx-to-string
`(and symbol-start (group (or ,@words)) symbol-end)))
(font-lock-add-keywords
'elixir-mode
`((,(rx-words "def"
"defp"
"test"
"describe"
"property"
"defrecord"
"defmodule"
"defstruct"
"defdelegate"
"defprotocol"
"defimpl"
"use"
"import"
"alias"
"require"
"assert"
"refute"
"assert_raise")
.
'font-lock-preprocessor-face)))
(font-lock-add-keywords
'elixir-mode
`((,(rx-words "def"
"defp"
"test"
"describe"
"property"
"defrecord"
"defmodule"
"defstruct"
"defdelegate"
"use"
"import"
"alias"
"require"
"assert"
"refute"
"assert_raise")
.
'font-lock-preprocessor-face)))
(font-lock-add-keywords
'haskell-mode
`((,(rx-words "import") . 'haskell-import-face)))
;; (font-lock-add-keywords
;; 'haskell-mode
;; `((,(rx "-- |") . 'haskell-keyword-face)))
;; (load-file (let ((coding-system-for-read 'utf-8))
;; (shell-command-to-string "agda-mode locate")))
(defvar +grfn-dir (file-name-directory load-file-name))
(defvar +grfn-snippets-dir (expand-file-name "snippets/" +grfn-dir))
;;
(load! "+bindings")
(load! "+commands")
(load! "cpp")
(load! "+private")
(require 'dash)
(use-package! predd)
;;
;; Global config
;;
(setq doom-modeline-buffer-file-name-style 'relative-to-project
doom-modeline-modal-icon nil
doom-modeline-github t)
;;
;; Modules
;;
(after! smartparens
;; Auto-close more conservatively and expand braces on RET
(let ((unless-list '(sp-point-before-word-p
sp-point-after-word-p
sp-point-before-same-p)))
(sp-pair "'" nil :unless unless-list)
(sp-pair "\"" nil :unless unless-list))
(sp-pair "{" nil :post-handlers '(("||\n[i]" "RET") ("| " " "))
:unless '(sp-point-before-word-p sp-point-before-same-p))
(sp-pair "(" nil :post-handlers '(("||\n[i]" "RET") ("| " " "))
:unless '(sp-point-before-word-p sp-point-before-same-p))
(sp-pair "[" nil :post-handlers '(("| " " "))
:unless '(sp-point-before-word-p sp-point-before-same-p)))
;; feature/snippets
(after! yasnippet
;; Don't use default snippets, use mine.
(setq yas-snippet-dirs
(append (list '+grfn-snippets-dir)
(delq 'yas-installed-snippets-dir yas-snippet-dirs))))
(after! company
(setq company-idle-delay 0.2
company-minimum-prefix-length 1))
(setq doom-modeline-height 12)
(load "/home/grfn/code/org-clubhouse/org-clubhouse.el")
(use-package! org-clubhouse
:hook (org-mode . org-clubhouse-mode)
:config
(setq org-clubhouse-state-alist '(("BACKLOG" . "Unscheduled")
("TODO" . "Ready for Development")
("ACTIVE" . "In Development")
("PR" . "Ready for Review")
("DONE" . "Completed"))
org-clubhouse-username "griffinsmith"
org-clubhouse-claim-story-on-status-update '("ACTIVE" "PR" "DONE")
org-clubhouse-create-stories-with-labels 'existing
org-clubhouse-workflow-name "Engineering"))
;; Should really figure out which of these is correct, eventually
(setq +solarized-s-base03 "#002b36"
+solarized-s-base02 "#073642"
;; emphasized content
+solarized-s-base01 "#586e75"
;; primary content
+solarized-s-base00 "#657b83"
+solarized-s-base0 "#839496"
;; comments
+solarized-s-base1 "#93a1a1"
;; background highlight light
+solarized-s-base2 "#eee8d5"
;; background light
+solarized-s-base3 "#fdf6e3"
;; Solarized accented colors
+solarized-yellow "#b58900"
+solarized-orange "#cb4b16"
+solarized-red "#dc322f"
+solarized-magenta "#d33682"
+solarized-violet "#6c71c4"
+solarized-blue "#268bd2"
+solarized-cyan "#2aa198"
+solarized-green "#859900"
;; Darker and lighter accented colors
;; Only use these in exceptional circumstances!
+solarized-yellow-d "#7B6000"
+solarized-yellow-l "#DEB542"
+solarized-orange-d "#8B2C02"
+solarized-orange-l "#F2804F"
+solarized-red-d "#990A1B"
+solarized-red-l "#FF6E64"
+solarized-magenta-d "#93115C"
+solarized-magenta-l "#F771AC"
+solarized-violet-d "#3F4D91"
+solarized-violet-l "#9EA0E5"
+solarized-blue-d "#00629D"
+solarized-blue-l "#69B7F0"
+solarized-cyan-d "#00736F"
+solarized-cyan-l "#69CABF"
+solarized-green-d "#546E00"
+solarized-green-l "#B4C342")
(set-cursor-color +solarized-s-base02)
(after! doom-theme
(set-face-foreground 'font-lock-doc-face +solarized-s-base1)
(set-face-foreground 'org-block +solarized-s-base00)
(set-face-foreground 'slack-message-output-header +solarized-s-base01)
(set-face-attribute 'slack-message-output-header nil :underline nil)
(set-face-attribute 'slack-message-output-text nil :height 1.0)
)
(after! solarized-theme
(set-face-foreground 'font-lock-doc-face +solarized-s-base1)
(set-face-foreground 'org-block +solarized-s-base00)
(set-face-foreground 'slack-message-output-header +solarized-s-base01)
(set-face-attribute 'slack-message-output-header nil :underline nil)
(set-face-attribute 'slack-message-output-text nil :height 1.0)
)
(after! evil
(setq evil-shift-width 2))
(after! org
(load! "org-config")
(set-face-foreground 'org-block +solarized-s-base00)
(add-hook! org-mode
(add-hook! evil-normal-state-entry-hook
#'org-align-all-tags))
(add-hook 'org-mode-hook (lambda () (display-line-numbers-mode -1)))
(setq whitespace-global-modes '(not org-mode magit-mode vterm-mode))
(setf (alist-get 'file org-link-frame-setup) 'find-file-other-window)
(set-face-foreground 'org-block +solarized-s-base00)
;; (add-hook! org-mode
;; (set-company-backend! 'org-mode
;; '(:separate company-ob-postgresql
;; company-dabbrev
;; company-yasnippet
;; company-ispell)))
)
(after! magit
(setq git-commit-summary-max-length 50))
(after! ivy
(setq ivy-re-builders-alist
'((t . ivy--regex-fuzzy))))
(add-hook 'before-save-hook 'delete-trailing-whitespace)
(after! paxedit
(add-hook! emacs-lisp-mode #'paxedit-mode)
(add-hook! clojure-mode #'paxedit-mode)
(add-hook! common-lisp-mode #'paxedit-mode))
(require 'haskell)
(let ((m-symbols
'(("`mappend`" . "")
("<>" . "")
("`elem`" . "")
("`notElem`" . ""))))
(dolist (item m-symbols) (add-to-list 'haskell-font-lock-symbols-alist item)))
(setq haskell-font-lock-symbols t)
(add-hook! haskell-mode
;; (intero-mode)
(lsp-mode)
;; (flycheck-add-next-checker
;; 'intero
;; 'haskell-hlint)
(set-fill-column 80)
(setq evil-shift-width 2))
(auth-source-pass-enable)
(require 'fill-column-indicator)
;;; * Column Marker
(defun sanityinc/fci-enabled-p () (symbol-value 'fci-mode))
(defvar sanityinc/fci-mode-suppressed nil)
(make-variable-buffer-local 'sanityinc/fci-mode-suppressed)
(defadvice popup-create (before suppress-fci-mode activate)
"Suspend fci-mode while popups are visible"
(let ((fci-enabled (sanityinc/fci-enabled-p)))
(when fci-enabled
(setq sanityinc/fci-mode-suppressed fci-enabled)
(turn-off-fci-mode))))
(defadvice popup-delete (after restore-fci-mode activate)
"Restore fci-mode when all popups have closed"
(when (and sanityinc/fci-mode-suppressed
(null popup-instances))
(setq sanityinc/fci-mode-suppressed nil)
(turn-on-fci-mode)))
;;; Javascript
(require 'smartparens)
(setq js-indent-level 2)
(require 'prettier-js)
(after! prettier-js
(add-hook! rjsx-mode #'prettier-js-mode)
(add-hook! js2-mode #'prettier-js-mode)
(add-hook! json-mode #'prettier-js-mode)
(add-hook! css-mode #'prettier-js-mode))
(require 'flycheck-flow)
(with-eval-after-load 'flycheck
(flycheck-add-mode 'javascript-flow 'rjsx-mode)
(flycheck-add-mode 'javascript-flow 'flow-minor-mode)
(flycheck-add-mode 'javascript-eslint 'flow-minor-mode)
(flycheck-add-next-checker 'javascript-flow 'javascript-eslint))
(require 'flow-minor-mode)
(remove-hook 'js2-mode-hook 'tide-setup t)
;; (require 'company-flow)
;; (eval-after-load 'company
;; (lambda () (add-to-list 'company-backends 'company-flow)))
(defun flow/set-flow-executable ()
(interactive)
(let* ((os (pcase system-type
('darwin "osx")
('gnu/linux "linux64")
(_ nil)))
(root (locate-dominating-file buffer-file-name "node_modules/flow-bin"))
(executable (car (file-expand-wildcards
(concat root "node_modules/flow-bin/*" os "*/flow")))))
(setq-local company-flow-executable executable)
;; These are not necessary for this package, but a good idea if you use
;; these other packages
(setq-local flow-minor-default-binary executable)
(setq-local flycheck-javascript-flow-executable executable)))
;; Set this to the mode you use, I use rjsx-mode
(add-hook 'rjsx-mode-hook #'flow/set-flow-executable t)
;; Auto-format Haskell on save, with a combination of hindent + brittany
; (define-minor-mode brittany-haskell-mode
; :init-value nil
; :group 'haskell
; :lighter "Brittany-Haskell"
; :keymap '()
; )
(require 'alert)
(setq alert-default-style 'libnotify)
;; (setq slack-buffer-function #'switch-to-buffer)
(setq projectile-test-suffix-function
(lambda (project-type)
(case project-type
('haskell-stack "Test")
('npm ".test")
(otherwise (projectile-test-suffix project-type)))))
(setq projectile-create-missing-test-files 't)
(after! magit
(map! :map magit-mode-map
;; :n "] ]" #'magit-section-forward
;; :n "[ [" #'magit-section-backward
)
(define-suffix-command magit-commit-wip ()
(interactive)
(magit-commit-create '("-m" "wip")))
(transient-append-suffix
#'magit-commit
["c"]
(list "W" "Commit WIP" #'magit-commit-wip))
(define-suffix-command magit-reset-head-back ()
(interactive)
(magit-reset-mixed "HEAD~"))
(define-suffix-command magit-reset-head-previous ()
(interactive)
(magit-reset-mixed "HEAD@{1}"))
(transient-append-suffix
#'magit-reset
["f"]
(list "b" "Reset HEAD~" #'magit-reset-head-back))
(transient-append-suffix
#'magit-reset
["f"]
(list "o" "Reset HEAD@{1}" #'magit-reset-head-previous))
(defun magit-read-org-clubhouse-branch-name ()
(when-let ((story-id (org-clubhouse-clocked-in-story-id)))
(let ((desc
(magit-read-string-ns
(format "Story description (to go after gs/ch%d/)"
story-id))))
(format "gs/ch%d/%s" story-id desc))))
(defun magit-read-org-clubhouse-branch-args ()
(if-let ((story-id (org-clubhouse-clocked-in-story-id)))
(let ((start-point (magit-read-starting-point
"Create and checkout branch for Clubhouse story"
nil
"origin/master")))
(if (magit-rev-verify start-point)
(when-let ((desc (magit-read-org-clubhouse-branch-name)))
(list desc start-point))
(user-error "Not a valid starting point: %s" choice)))
(user-error "No currently clocked-in clubhouse story")))
(transient-define-suffix magit-checkout-org-clubhouse-branch (branch start-point)
(interactive (magit-read-org-clubhouse-branch-args))
(magit-branch-and-checkout branch start-point))
(transient-define-suffix magit-rename-org-clubhouse-branch (old new)
(interactive
(let ((branch (magit-read-local-branch "Rename branch")))
(list branch (magit-read-org-clubhouse-branch-name))))
(when (and old new)
(magit-branch-rename old new)))
(transient-append-suffix
#'magit-branch
["c"]
(list "C" "Checkout Clubhouse branch" #'magit-checkout-org-clubhouse-branch))
(transient-append-suffix
#'magit-branch
["c"]
(list "M" "Rename branch to Clubhouse ticket" #'magit-rename-org-clubhouse-branch)))
;; (defun grfn/split-window-more-sensibly (&optional window)
;; (let ((window (or window (selected-window))))
;; (or (and (window-splittable-p window)
;; ;; Split window vertically.
;; (with-selected-window window
;; (split-window-right)))
;; (and (window-splittable-p window t)
;; ;; Split window horizontally.
;; (with-selected-window window
;; (split-window-right)))
;; (and (eq window (frame-root-window (window-frame window)))
;; (not (window-minibuffer-p window))
;; ;; If WINDOW is the only window on its frame and is not the
;; ;; minibuffer window, try to split it vertically disregarding
;; ;; the value of `split-height-threshold'.
;; (let ((split-height-threshold 0))
;; (when (window-splittable-p window)
;; (with-selected-window window
;; (split-window-below))))))))
(use-package! lsp-mode
:after (:any haskell-mode)
:config
(setq lsp-response-timeout 60)
:hook
(haskell-mode . lsp-mode))
(use-package! lsp-ui
:after lsp-mode
:config
(defun +grfn/lsp-ui-doc-frame-hook (frame window)
(set-frame-font (if doom-big-font-mode doom-big-font doom-font)
nil (list frame)))
(setq lsp-ui-flycheck-enable t
lsp-ui-doc-header nil
lsp-ui-doc-position 'top
lsp-ui-doc-alignment 'window
lsp-ui-doc-frame-hook '+grfn/lsp-ui-doc-frame-hook
lsp-ui-doc-max-width 150
lsp-ui-doc-max-height 13)
(setq imenu-auto-rescan t)
(set-face-background 'lsp-ui-doc-background +solarized-s-base2)
(set-face-background 'lsp-face-highlight-read +solarized-s-base2)
(set-face-background 'lsp-face-highlight-write +solarized-s-base2)
:hook
(lsp-mode . lsp-ui-mode)
(lsp-ui-mode . flycheck-mode))
(use-package! company-lsp
:after (lsp-mode lsp-ui)
:config
(add-to-list #'company-backends #'company-lsp)
(setq company-lsp-async t))
(use-package! dap-mode)
(defun +grfn/haskell-mode-setup ()
(interactive)
(flymake-mode -1)
(add-to-list 'flycheck-disabled-checkers 'haskell-ghc)
(flycheck-remove-next-checker 'lsp 'haskell-ghc)
(flycheck-add-next-checker 'lsp '(warning . haskell-hlint))
;; If theres a 'hie.sh' defined locally by a project
;; (e.g. to run HIE in a nix-shell), use it…
(when-let ((project-dir (locate-dominating-file default-directory "hie.sh")))
(cl-flet
((which (cmd)
(s-trim
(shell-command-to-string
(concat
"nix-shell "
(expand-file-name "shell.nix" project-dir)
" --run \"which " cmd "\" 2>/dev/null")))))
(setq-local
lsp-haskell-process-path-hie (expand-file-name "hie.sh" project-dir)
haskell-hoogle-command (which "hoogle"))))
;; … and only then setup the LSP.
(lsp))
(defun never-flymake-mode (orig &rest args)
(when (and (bound-and-true-p flymake-mode))
(funcall orig 0)
(message "disabled flymake-mode")))
(advice-add #'flymake-mode :around #'never-flymake-mode)
(defun +grfn/wrap-lsp-haskell-process (argv)
(let* ((project-dir (locate-dominating-file
(buffer-file-name)
"hie.yaml"))
(shell-dot-nix (expand-file-name "shell.nix" project-dir)))
;; (when (string-equal default-directory "/home/grfn/code/depot")
;; (debug))
(message "%s %s %s %s"
(buffer-file-name)
default-directory
project-dir
shell-dot-nix)
(if (file-exists-p shell-dot-nix)
`("bash" "-c"
,(format "cd %s && nix-shell %s --run '%s'"
project-dir
shell-dot-nix
(s-join " " argv)))
argv)))
(use-package! lsp-haskell
:after (lsp-mode lsp-ui haskell-mode)
;; :hook
;; (haskell-mode . lsp-haskell-enable)
:config
(setq lsp-haskell-process-path-hie "haskell-language-server-wrapper"
lsp-haskell-process-args-hie
'("-d" "-l" "/tmp/hie.log" "+RTS" "-M4G" "-H1G" "-K4G" "-A16M" "-RTS")
lsp-haskell-process-wrapper-function
#'+grfn/wrap-lsp-haskell-process)
(add-hook 'haskell-mode-hook #'+grfn/haskell-mode-setup 't))
(use-package! lsp-imenu
:after (lsp-mode lsp-ui)
:hook
(lsp-after-open . lsp-enable-imenu))
;; (use-package! counsel-etags
;; :ensure t
;; :init
;; (add-hook 'haskell-mode-hook
;; (lambda ()
;; (add-hook 'after-save-hook
;; 'counsel-etags-virtual-update-tags 'append 'local)))
;; :config
;; (setq counsel-etags-update-interval 60)
;; ;; (push "build" counsel-etags-ignore-directories)
;; )
;; (use-package! evil-magit
;; :after (magit))
(use-package! writeroom-mode)
(use-package! graphql-mode)
(require 'whitespace)
(setq whitespace-style '(face lines-tail))
(global-whitespace-mode t)
(add-hook 'org-mode-hook (lambda () (whitespace-mode -1)) t)
(set-face-foreground 'whitespace-line +solarized-red)
(set-face-attribute 'whitespace-line nil :underline 't)
;; (set-face-background 'ivy-posframe +solarized-s-base3)
;; (set-face-foreground 'ivy-posframe +solarized-s-base01)
(let ((base03 "#002b36")
(base02 "#073642")
(base01 "#586e75")
(base00 "#657b83")
(base0 "#839496")
(base1 "#93a1a1")
(base2 "#eee8d5")
(base3 "#fdf6e3")
(yellow "#b58900")
(orange "#cb4b16")
(red "#dc322f")
(magenta "#d33682")
(violet "#6c71c4")
(blue "#268bd2")
(cyan "#2aa198")
(green "#859900"))
(custom-set-faces
`(agda2-highlight-keyword-face ((t (:foreground ,green))))
`(agda2-highlight-string-face ((t (:foreground ,cyan))))
`(agda2-highlight-number-face ((t (:foreground ,violet))))
`(agda2-highlight-symbol-face ((((background ,base3)) (:foreground ,base01))))
`(agda2-highlight-primitive-type-face ((t (:foreground ,blue))))
`(agda2-highlight-bound-variable-face ((t nil)))
`(agda2-highlight-inductive-constructor-face ((t (:foreground ,green))))
`(agda2-highlight-coinductive-constructor-face ((t (:foreground ,yellow))))
`(agda2-highlight-datatype-face ((t (:foreground ,blue))))
`(agda2-highlight-field-face ((t (:foreground ,red))))
`(agda2-highlight-function-face ((t (:foreground ,blue))))
`(agda2-highlight-module-face ((t (:foreground ,yellow))))
`(agda2-highlight-postulate-face ((t (:foreground ,blue))))
`(agda2-highlight-primitive-face ((t (:foreground ,blue))))
`(agda2-highlight-record-face ((t (:foreground ,blue))))
`(agda2-highlight-dotted-face ((t nil)))
`(agda2-highlight-operator-face ((t nil)))
`(agda2-highlight-error-face ((t (:foreground ,red :underline t))))
`(agda2-highlight-unsolved-meta-face ((t (:background ,base2))))
`(agda2-highlight-unsolved-constraint-face ((t (:background ,base2))))
`(agda2-highlight-termination-problem-face ((t (:background ,orange :foreground ,base03))))
`(agda2-highlight-incomplete-pattern-face ((t (:background ,orange :foreground ,base03))))
`(agda2-highlight-typechecks-face ((t (:background ,cyan :foreground ,base03))))))
(after! cider
(setq cider-prompt-for-symbol nil
cider-font-lock-dynamically 't
cider-save-file-on-load 't)
)
(defun +org-clocked-in-element ()
(when-let ((item (car org-clock-history)))
(save-mark-and-excursion
(with-current-buffer (marker-buffer item)
(goto-char (marker-position item))
(org-element-at-point)))))
(comment
(setq elt (+org-clocked-in-item))
(eq 'headline (car elt))
(plist-get (cadr elt) :raw-value)
)
(defun +org-headline-title (headline)
(when (eq 'headline (car elt))
(plist-get (cadr elt) :raw-value)))
(setq +ligatures-extra-symbols
(append +ligatures-extra-symbols
'(:equal ""
:not-equal ""
:is ""
:isnt ""
:lte ""
:gte ""
:subseteq ""
)))
(after! python
(set-pretty-symbols! 'python-mode :merge t
:equal "=="
:not-equal "!="
:lte "<="
:gte ">="
:is "is"
:isnt "is not"
:subseteq "issubset"
;; doom builtins
;; Functional
:def "def"
:lambda "lambda"
;; Types
:null "None"
:true "True" :false "False"
:int "int" :str "str"
:float "float"
:bool "bool"
:tuple "tuple"
;; Flow
:not "not"
:in "in" :not-in "not in"
:and "and" :or "or"
:for "for"
:return "return" :yield "yield"))
(use-package! sqlup-mode
:hook
(sql-mode-hook . sqlup-mode)
(sql-interactive-mode-hook . sqlup-mode))
(use-package! emacsql)
(use-package! emacsql-psql
:after (emacsql))
(use-package! pyimport
:after (python))
(use-package! blacken
:after (python)
:init
(add-hook #'python-mode-hook #'blacken-mode)
:config
(setq blacken-only-if-project-is-blackened t
blacken-allow-py36 t
blacken-line-length 100))
(after! python
(defun +python-setup ()
(setq-local fill-column 100
whitespace-line-column 100
flycheck-disabled-checkers '(python-flake8)
flycheck-checker 'python-pylint))
(add-hook #'python-mode-hook #'+python-setup)
(add-hook #'python-mode-hook #'lsp)
(remove-hook #'python-mode-hook #'pipenv-mode))
; (use-package! w3m
; :config
; (setq browse-url-browser-function
; `(("^https://app.clubhouse.io.*" . browse-url-firefox)
; ("^https://github.com.*" . browse-url-firefox)
; (".*" . browse-url-firefox))))
(use-package! ob-http
:config
(add-to-list 'org-babel-load-languages '(http . t)))
;; (use-package! ob-ipython
;; :after (pyimport)
;; :config
;; (add-to-list 'org-babel-load-languages '(ipython . t))
;; (setq ob-ipython-command
;; "/home/griffin/code/urb/ciml-video-classifier/bin/jupyter"))
(use-package! counsel-spotify)
(after! counsel
(map! [remap counsel-org-capture] #'org-capture
[remap org-capture] #'org-capture))
(use-package! evil-snipe :disabled t)
(evil-snipe-mode -1)
(use-package! rainbow-mode)
(use-package! org-alert
:disabled t
:config
(org-alert-enable)
(setq alert-default-style 'libnotify
org-alert-headline-title "org"))
(use-package! ob-async)
(use-package! org-recent-headings
:after (org)
:config
(map! :n "SPC n r" #'org-recent-headings-ivy))
(use-package! org-sticky-header
:after (org)
:hook (org-mode-hook . org-sticky-header-mode)
:config
(setq-default org-sticky-header-heading-star ""))
(enable-theme 'grfn-solarized-light)
;;; word-char
(add-hook! prog-mode
(modify-syntax-entry ?_ "w"))
(add-hook! lisp-mode
(modify-syntax-entry ?- "w"))
(after! flycheck
(put 'flycheck-python-pylint-executable 'safe-local-variable (lambda (_) t)))
(defvar alembic-command "alembic"
"Command to execute when running alembic")
(defvar alembic-dir-fun (lambda () default-directory)
"Reference to a function whose return value will be used as the directory to
run Alembic in")
(put 'alembic-command 'safe-local-variable (lambda (_) t))
(put 'alembic-dir-fun 'safe-local-variable (lambda (_) t))
(defun make-alembic-command (args)
(if (functionp alembic-command)
(funcall alembic-command args)
(concat alembic-command " " args)))
(defun +grfn/extract-alembic-migration-name (output)
(unless (string-match (rx (0+ anything) "Generating "
(group (one-or-more (not (syntax whitespace))))
" ..." (one-or-more (syntax whitespace)) "done"
(0+ anything))
output)
(user-error "Error: %s" output))
(match-string-no-properties 1 output))
(defun -run-alembic (args)
(let* ((default-directory (funcall alembic-dir-fun))
(command (make-alembic-command args))
;; (format "nix-shell --run 'alembic %s'" args)
;; (format "%s %s" alembic-command args)
(res
(with-temp-buffer
(cons
(shell-command command t)
(s-replace-regexp
"^.*Nix search path entry.*$" ""
(buffer-string)))))
(exit-code (car res))
(out (cdr res)))
;; (if (= 0 exit-code)
;; out
;; (error "Error running %s: %s" command out))
out
))
(comment
--exit-code
--bs
)
(defun run-alembic (args)
(interactive "sAlembic command: ")
(message "%s" (-run-alembic args)))
(defun generate-alembic-migration (msg &rest args)
(interactive "sMessage: ")
(->
(format "revision %s -m \"%s\""
(s-join " " args)
msg)
(-run-alembic)
(+grfn/extract-alembic-migration-name)
(find-file-other-window)))
(cl-defun alembic-upgrade (&optional revision &key namespace)
(interactive "sRevision: ")
(let ((default-directory (funcall alembic-dir-fun)))
(run-alembic (format "%s upgrade %s"
(if namespace (concat "-n " namespace) "")
(or revision "head")))))
(defun alembic-downgrade (revision)
(interactive "sRevision: ")
(let ((default-directory (funcall alembic-dir-fun)))
(run-alembic (format "downgrade %s" (or revision "head")))))
(use-package! gnuplot)
(use-package! gnuplot-mode :after gnuplot)
(use-package! string-inflection)
(after! anaconda-mode
;; (set-company-backend! 'anaconda-mode #'company-yasnippet)
)
;; (add-hook! python-mode
;; (capf))
(cl-defstruct pull-request url number title author repository)
(defun grfn/num-inbox-items ()
(length (org-elements-agenda-match "inbox" t)))
(use-package! dhall-mode
:mode "\\.dhall\\'")
(use-package! github-review
:after forge)
(after! forge
(set-popup-rule!
"^\\*forge"
:size 0.75))
(defun grfn/org-add-db-connection-params ()
(interactive)
(ivy-read
"DB to connect to: "
(-map (lambda (opts)
(propertize (symbol-name (car opts))
'header-args (cdr opts)))
db-connection-param-options)
:require-match t
:action
(lambda (opt)
(let ((header-args (get-text-property 0 'header-args opt)))
(org-set-property "header-args" header-args)))))
(use-package! kubernetes
:commands (kubernetes-overview))
(use-package! k8s-mode
:hook (k8s-mode . yas-minor-mode))
(use-package! sx)
;; (use-package! nix-update
;; :config
;; (map! (:map nix-mode-map
;; (:leader
;; :desc "Update fetcher" :nv #'nix-update-fetch))))
(after! lsp-haskell
(lsp-register-client
(make-lsp--client
:new-connection (lsp-stdio-connection (lambda () (lsp-haskell--hie-command)))
:major-modes '(haskell-mode)
:server-id 'hie
;; :multi-root t
;; :initialization-options 'lsp-haskell--make-init-options
)
)
)
(solaire-global-mode -1)
(use-package! wsd-mode)
(use-package! metal-mercury-mode)
(use-package! flycheck-mercury
:after (metal-mercury-mode flycheck-mercury))
(use-package! direnv
:config (direnv-mode))
(after! erc
;; (setq erc-autojoin-channels-alist '(("freenode.net" "#nixos" "#haskell" "##tvl")))
)
(defun evil-disable-insert-state-bindings ()
evil-disable-insert-state-bindings)
;; (use-package! terraform-mode)
;; (use-package! company-terraform
;; :after terraform-mode
;; :config (company-terraform-init))
(use-package! znc
:config
(setq znc-servers
'(("znc.gws.fyi" 5000 t
((freenode "glittershark" "Ompquy"))))))
(use-package! jsonnet-mode
:config
(map!
(:map jsonnet-mode-map
(:n "g SPC" #'jsonnet-eval-buffer))))
(add-to-list 'safe-local-variable-values
'(truncate-lines . t))