tvl-depot/users/glittershark/emacs.d/config.el
Griffin Smith 19e54738d7 feat(users/glittershark): Jsonnet in emacs + system
Add jsonnet-mode to emacs, and install jsonnet in the development.nix
module in home-manager.

Change-Id: I11d6417b6a059de151dbb5407682059e0d5a7d3c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/564
Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-23 16:45:47 +00:00

1216 lines
36 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.

;;; private/grfn/config.el -*- lexical-binding: t; -*-
;; I've swapped these keys on my keyboard
(setq x-super-keysym 'alt
x-alt-keysym 'meta)
(setq user-mail-address "griffin@urbint.com"
user-full-name "Griffin Smith")
(setq doom-font (font-spec :family "Meslo LGSDZ Nerd Font" :size 14)
doom-big-font (font-spec :family "Meslo LGSDZ Nerd Font" :size 24)
doom-big-font-increment 5
doom-variable-pitch-font (font-spec :family "DejaVu Sans")
doom-unicode-font (font-spec :family "Meslo LGSDZ Nerd Font"))
(after! rust
;; (require 'ein)
(setq rust-format-on-save t)
(add-hook! :after rust-mode-hook #'lsp)
(add-hook! :after rust-mode-hook #'rust-enable-format-on-save))
(load! "utils")
(load! "company-sql")
(load! "org-query")
(load! "show-matching-paren")
(load! "irc")
(load! "github-org")
(load! "org-gcal")
(load! "grid")
(require 's)
(require 'tvl)
;; (add-to-list 'load-path
;; (concat
;; (s-trim
;; (shell-command-to-string
;; "nix-build --no-link '<nixpkgs>' -A mu"))
;; "/share/emacs/site-lisp/mu4e"))
; (defconst rust-src-path
; (-> "/Users/griffin/.cargo/bin/rustc --print sysroot"
; shell-command-to-string
; string-trim
; (concat "/lib/rustlib/src/rust/src")))
;
; (setenv "RUST_SRC_PATH" rust-src-path)
;
; (after! racer
; (setq racer-rust-src-path rust-src-path))
;
(add-hook! rust-mode
(flycheck-rust-setup)
(flycheck-mode)
(cargo-minor-mode)
(lsp)
(rust-enable-format-on-save)
(map! :map rust-mode-map
"C-c C-f" #'rust-format-buffer))
(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 exec-path (append exec-path '("/home/grfn/.cargo/bin")))
(after! cargo
(setq cargo-process--custom-path-to-bin "/home/grfn/.cargo/bin/cargo"))
(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))))
(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! "+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
:config
(setq org-clubhouse-state-alist
'(("PROPOSED" . "Proposed")
("BACKLOG" . "Backlog")
("TODO" . "Scheduled")
("ACTIVE" . "In Progress")
("PR" . "Peer Review")
("TESTING" . "Stakeholder Review")
("DONE" . "Completed"))
org-clubhouse-username "griffin"
org-clubhouse-claim-story-on-status-update
'("ACTIVE" "PR" "TESTING" "DONE")
org-clubhouse-create-stories-with-labels 'existing
org-clubhouse-workflow-name "Urbint")
(defun grfn/sprint-tasks ()
(interactive)
(find-file "/home/griffin/notes/work.org")
(goto-char 1)
(search-forward "* Sprint Tasks")
(goto-eol) (insert-char ?\n)
(org-clubhouse-headlines-from-query
2
"owner:griffin state:Scheduled")))
;; 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! slack
(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))
(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))
(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))
;; (load! org-clubhouse)
(add-hook! org-mode #'org-clubhouse-mode)
(load! "slack-snippets")
(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 '()
; )
(defun urbint/format-haskell-source ()
(interactive)
(let ((output-buffer (generate-new-buffer "brittany-out"))
(config-file-path
(concat (string-trim
(shell-command-to-string "stack path --project-root"))
"/brittany.yaml")))
(when (= 0 (call-process-region
(point-min) (point-max)
"stack"
nil output-buffer nil
"exec" "--" "brittany" "--config-file" config-file-path))
(let ((pt (point))
(wst (window-start))
(formatted-source (with-current-buffer output-buffer
(buffer-string))))
(erase-buffer)
(insert formatted-source)
(goto-char pt)
(set-window-start nil wst)))))
(add-hook
'before-save-hook
(lambda ()
(when (and (eq major-mode 'haskell-mode)
(bound-and-true-p brittany-haskell-mode))
(urbint/format-haskell-source))))
(require 'slack)
(setq slack-buffer-emojify 't
slack-prefer-current-team 't)
(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-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)
(let ((desc (magit-read-string-ns
(format "Story description (to go after gs/ch%d/)"
story-id))))
(list
(format "gs/ch%d/%s" story-id desc)
start-point))
(user-error "Not a valid starting point: %s" choice)))
(user-error "No currently clocked-in clubhouse story")))
(define-suffix-command magit-checkout-org-clubhouse-branch (branch start-point)
(interactive (magit-read-org-clubhouse-branch-args))
(magit-branch-and-checkout branch start-point))
(transient-append-suffix
#'magit-branch
["c"]
(list "C" "Checkout Clubhouse branch" #'magit-checkout-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)
(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! lsp-treemacs
:config
(map! :map lsp-mode-map
(:leader
"c X" #'lsp-treemacs-errors-list)))
(use-package! dap-mode)
(defun +grfn/haskell-mode-setup ()
(interactive)
(flymake-mode -1)
;; If theres a 'hie.sh' defined locally by a project
;; (e.g. to run HIE in a nix-shell), use it…
(let ((hie-directory (locate-dominating-file default-directory "hie.sh")))
(when hie-directory
(setq-local lsp-haskell-process-path-hie (expand-file-name "hie.sh" hie-directory))
(setq-local
haskell-hoogle-command
(s-trim
(shell-command-to-string
(concat
"nix-shell " (expand-file-name "shell.nix" hie-directory)
" --run \"which hoogle\" 2>/dev/null"))))))
;; … 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)
(use-package! lsp-haskell
:after (lsp-mode lsp-ui haskell-mode)
;; :hook
;; (haskell-mode . lsp-haskell-enable)
:config
(add-hook 'haskell-mode-hook #'+grfn/haskell-mode-setup 't)
(setq lsp-haskell-process-path-hie "/home/griffin/.nix-profile/bin/hie-8.6.5"
lsp-haskell-process-args-hie
'("-d" "-l" "/tmp/hie.log" "+RTS" "-M4G" "-H1G" "-K4G" "-A16M" "-RTS")))
(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 +pretty-code-symbols
(append +pretty-code-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"))
(after! clojure-mode
(define-clojure-indent
(PUT 2)
(POST 2)
(GET 2)
(PATCH 2)
(DELETE 2)
(context 2)
(checking 3)
(match 1)
(domonad 0)
(describe 1)
(before 1)
(it 2)))
(use-package! flycheck-clojure
;; :disabled t
:after (flycheck cider)
:config
(flycheck-clojure-setup))
(after! clj-refactor
(setq cljr-magic-requires :prompt
cljr-clojure-test-declaration "[clojure.test :refer :all]"
cljr-cljc-clojure-test-declaration"#?(:clj [clojure.test :refer :all]
:cljs [cljs.test :refer-macros [deftest is testing])"
)
(add-to-list
'cljr-magic-require-namespaces
'("s" . "clojure.spec.alpha")))
(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)
(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
)
)
)
;; (use-package! mu4e
;; :config
;; (setq mu4e-contexts
;; `(,(make-mu4e-context
;; :name "work"
;; :match-func
;; (lambda (msg)
;; (when msg
;; (string-match-p "^/work"
;; (mu4e-message-field msg :maildir))))
;; :vars
;; '((user-mail-address . "griffin@urbint.com")))
;; ,(make-mu4e-context
;; :name "personal"
;; :match-func
;; (lambda (msg)
;; (when msg
;; (string-match-p "^/personal"
;; (mu4e-message-field msg :maildir))))
;; :vars
;; '((user-mail-address . "root@gws.fyi"))))
;; mu4e-maildir (expand-file-name "mail" "~")
;; sendmail-program "msmtp"
;; send-mail-function #'smtpmail-send-it
;; message-sendmail-f-is-evil t
;; message-sendmail-extra-arguments '("--read-envelope-from")
;; message-send-mail-function #'message-send-mail-with-sendmail)
;; (set-email-account!
;; "work"
;; '((user-mail-address . "griffin@urbint.com")
;; (smtmpmail-smtp-user . "griffin@urbint.com"))))
(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! notmuch
(setq notmuch-saved-searches
'((:name "inbox" :query "tag:inbox tag:important not tag:trash" :key "i")
(:name "flagged" :query "tag:flagged" :key "f")
(:name "sent" :query "tag:sent" :key "s")
(:name "drafts" :query "tag:draft" :key "d")
(:name "work" :query "tag:inbox and tag:important and path:work/**"
:key "w")
(:name "personal" :query "tag:inbox and tag:important and path:personal/**"
:key "p"))
message-send-mail-function 'message-send-mail-with-sendmail)
(add-hook! notmuch-message-mode-hook
#'notmuch-company-setup))
(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
:bind (:map jsonnet-mode-map
("g SPC" . jsonnet-eval-buffer)))