2018-03-30 00:10:07 +02:00
|
|
|
|
;;; private/grfn/config.el -*- lexical-binding: t; -*-
|
|
|
|
|
|
2018-09-18 16:18:20 +02:00
|
|
|
|
;; I've swapped these keys on my keyboard
|
|
|
|
|
(setq x-super-keysym 'alt
|
|
|
|
|
x-alt-keysym 'meta)
|
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(setq user-mail-address "griffin@urbint.com"
|
2018-09-18 16:18:20 +02:00
|
|
|
|
user-full-name "Griffin Smith")
|
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(setq doom-font (font-spec :family "Meslo LGSDZ Nerd Font" :size 14)
|
2020-05-18 17:31:42 +02:00
|
|
|
|
doom-big-font (font-spec :family "Meslo LGSDZ Nerd Font" :size 24)
|
2020-03-26 20:03:25 +01:00
|
|
|
|
doom-big-font-increment 5
|
|
|
|
|
doom-variable-pitch-font (font-spec :family "DejaVu Sans")
|
2020-05-18 17:31:42 +02:00
|
|
|
|
doom-unicode-font (font-spec :family "Meslo LGSDZ Nerd Font"))
|
2018-09-18 16:18:20 +02:00
|
|
|
|
|
|
|
|
|
(after! rust
|
2020-03-26 20:03:25 +01:00
|
|
|
|
;; (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))
|
2018-09-18 16:18:20 +02:00
|
|
|
|
|
2019-02-27 20:08:47 +01:00
|
|
|
|
(load! "utils")
|
2019-03-11 03:23:45 +01:00
|
|
|
|
(load! "company-sql")
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(load! "org-query")
|
|
|
|
|
(load! "show-matching-paren")
|
2020-05-18 17:34:43 +02:00
|
|
|
|
(load! "irc")
|
2020-05-26 16:22:37 +02:00
|
|
|
|
(load! "github-org")
|
2020-06-15 17:56:12 +02:00
|
|
|
|
(load! "org-gcal")
|
2020-06-15 17:56:45 +02:00
|
|
|
|
(load! "grid")
|
2020-07-02 20:54:28 +02:00
|
|
|
|
(load! "nix")
|
2020-05-18 17:34:43 +02:00
|
|
|
|
|
|
|
|
|
(require 's)
|
2020-06-19 20:29:31 +02:00
|
|
|
|
(require 'tvl)
|
2020-05-18 17:34:43 +02:00
|
|
|
|
|
|
|
|
|
;; (add-to-list 'load-path
|
|
|
|
|
;; (concat
|
|
|
|
|
;; (s-trim
|
|
|
|
|
;; (shell-command-to-string
|
|
|
|
|
;; "nix-build --no-link '<nixpkgs>' -A mu"))
|
|
|
|
|
;; "/share/emacs/site-lisp/mu4e"))
|
2019-03-11 03:23:45 +01:00
|
|
|
|
|
2018-09-18 16:18:20 +02:00
|
|
|
|
; (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)
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(cargo-minor-mode)
|
|
|
|
|
(lsp)
|
|
|
|
|
(rust-enable-format-on-save)
|
|
|
|
|
(map! :map rust-mode-map
|
|
|
|
|
"C-c C-f" #'rust-format-buffer))
|
2018-09-18 16:18:20 +02:00
|
|
|
|
|
|
|
|
|
(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))
|
|
|
|
|
|
2020-05-18 17:33:57 +02:00
|
|
|
|
(setq exec-path (append exec-path '("/home/grfn/.cargo/bin")))
|
2018-09-18 16:18:20 +02:00
|
|
|
|
|
|
|
|
|
(after! cargo
|
2020-05-18 17:33:57 +02:00
|
|
|
|
(setq cargo-process--custom-path-to-bin "/home/grfn/.cargo/bin/cargo"))
|
2018-09-18 16:18:20 +02:00
|
|
|
|
|
|
|
|
|
(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")
|
|
|
|
|
|
2020-05-18 17:34:24 +02:00
|
|
|
|
(defcustom theme-overrides nil
|
|
|
|
|
"Association list of override faces to set for different custom themes.")
|
|
|
|
|
|
2018-09-18 16:18:20 +02:00
|
|
|
|
(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)
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(progn
|
|
|
|
|
(dolist (face faces)
|
|
|
|
|
(custom-theme-set-faces theme face)))))))
|
2018-09-18 16:18:20 +02:00
|
|
|
|
|
|
|
|
|
(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)))))
|
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(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)
|
|
|
|
|
|
|
|
|
|
)
|
|
|
|
|
|
2018-09-18 16:18:20 +02:00
|
|
|
|
(alist-set 'theme-overrides 'grfn-solarized-light
|
|
|
|
|
`((font-lock-doc-face ((t (:foreground ,+solarized-s-base1))))
|
|
|
|
|
(font-lock-preprocessor-face ((t (:foreground ,+solarized-red))))
|
2019-02-27 20:08:47 +01:00
|
|
|
|
(font-lock-keyword-face ((t (:foreground ,+solarized-green :bold nil))))
|
|
|
|
|
(font-lock-builtin-face ((t (:foreground ,+solarized-s-base01
|
2020-03-26 20:03:25 +01:00
|
|
|
|
:bold t))))
|
2018-09-18 16:18:20 +02:00
|
|
|
|
|
|
|
|
|
(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))))
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(haskell-keyword-face ((t (:foreground ,+solarized-cyan))))
|
|
|
|
|
|
|
|
|
|
(org-drawer ((t (:foreground ,+solarized-s-base1
|
|
|
|
|
:bold t))))))
|
2018-09-18 16:18:20 +02:00
|
|
|
|
|
|
|
|
|
(setq solarized-use-variable-pitch nil
|
2019-02-27 20:08:47 +01:00
|
|
|
|
solarized-scale-org-headlines nil
|
|
|
|
|
solarized-use-less-bold t)
|
2018-09-18 16:18:20 +02:00
|
|
|
|
|
|
|
|
|
(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)
|
2019-02-27 20:08:47 +01:00
|
|
|
|
(set-face-bold 'bold nil)
|
|
|
|
|
(enable-theme 'grfn-solarized-light))
|
2018-09-18 16:18:20 +02:00
|
|
|
|
|
|
|
|
|
(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")))
|
2018-08-31 19:31:14 +02:00
|
|
|
|
|
2018-03-30 00:10:07 +02:00
|
|
|
|
(defvar +grfn-dir (file-name-directory load-file-name))
|
|
|
|
|
(defvar +grfn-snippets-dir (expand-file-name "snippets/" +grfn-dir))
|
|
|
|
|
|
|
|
|
|
;;
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(load! "+bindings")
|
|
|
|
|
(load! "+commands")
|
2018-03-30 00:10:07 +02:00
|
|
|
|
|
2018-08-31 19:31:14 +02:00
|
|
|
|
(load! "+private")
|
2018-03-30 00:10:07 +02:00
|
|
|
|
|
|
|
|
|
(require 'dash)
|
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! predd)
|
2019-03-29 17:10:48 +01:00
|
|
|
|
|
2018-03-30 00:10:07 +02:00
|
|
|
|
|
|
|
|
|
;;
|
|
|
|
|
;; Global config
|
|
|
|
|
;;
|
|
|
|
|
|
2020-05-18 17:34:08 +02:00
|
|
|
|
(setq doom-modeline-buffer-file-name-style 'relative-to-project
|
|
|
|
|
doom-modeline-modal-icon nil
|
|
|
|
|
doom-modeline-github t)
|
2018-03-30 00:10:07 +02:00
|
|
|
|
|
|
|
|
|
;;
|
|
|
|
|
;; 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))
|
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(setq doom-modeline-height 12)
|
|
|
|
|
|
2020-05-18 17:33:57 +02:00
|
|
|
|
(load "/home/grfn/code/org-clubhouse/org-clubhouse.el")
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! org-clubhouse
|
2019-02-27 20:08:47 +01:00
|
|
|
|
:config
|
|
|
|
|
(setq org-clubhouse-state-alist
|
|
|
|
|
'(("PROPOSED" . "Proposed")
|
|
|
|
|
("BACKLOG" . "Backlog")
|
|
|
|
|
("TODO" . "Scheduled")
|
|
|
|
|
("ACTIVE" . "In Progress")
|
2020-03-26 20:03:25 +01:00
|
|
|
|
("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")))
|
|
|
|
|
|
2018-03-30 00:10:07 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
;; Should really figure out which of these is correct, eventually
|
|
|
|
|
|
2018-08-31 19:31:14 +02:00
|
|
|
|
(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)
|
|
|
|
|
|
2018-03-30 00:10:07 +02:00
|
|
|
|
(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
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(load! "org-config")
|
2019-01-05 20:15:48 +01:00
|
|
|
|
|
2018-03-30 00:10:07 +02:00
|
|
|
|
(set-face-foreground 'org-block +solarized-s-base00)
|
|
|
|
|
(add-hook! org-mode
|
|
|
|
|
(add-hook! evil-normal-state-entry-hook
|
|
|
|
|
#'org-align-all-tags))
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(add-hook 'org-mode-hook (lambda () (display-line-numbers-mode -1)))
|
|
|
|
|
(setq whitespace-global-modes '(not org-mode magit-mode))
|
2018-03-30 00:10:07 +02:00
|
|
|
|
(setf (alist-get 'file org-link-frame-setup) 'find-file-other-window)
|
2018-08-31 19:31:14 +02:00
|
|
|
|
(set-face-foreground 'org-block +solarized-s-base00)
|
2020-03-26 20:03:25 +01:00
|
|
|
|
|
|
|
|
|
(add-hook! org-mode
|
|
|
|
|
(set-company-backend! 'org-mode
|
|
|
|
|
'(:separate company-ob-postgresql
|
|
|
|
|
company-dabbrev
|
|
|
|
|
company-yasnippet
|
|
|
|
|
company-ispell))))
|
2018-03-30 00:10:07 +02:00
|
|
|
|
|
|
|
|
|
(after! magit
|
2019-02-27 20:08:47 +01:00
|
|
|
|
(setq git-commit-summary-max-length 50))
|
|
|
|
|
|
2018-03-30 00:10:07 +02:00
|
|
|
|
(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`" . "⊕")
|
2018-08-31 19:31:14 +02:00
|
|
|
|
("<>" . "⊕")
|
|
|
|
|
("`elem`" . "∈")
|
|
|
|
|
("`notElem`" . "∉"))))
|
2018-03-30 00:10:07 +02:00
|
|
|
|
(dolist (item m-symbols) (add-to-list 'haskell-font-lock-symbols-alist item)))
|
|
|
|
|
|
|
|
|
|
(setq haskell-font-lock-symbols t)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(add-hook! haskell-mode
|
2020-03-26 20:03:25 +01:00
|
|
|
|
;; (intero-mode)
|
|
|
|
|
(lsp-mode)
|
|
|
|
|
;; (flycheck-add-next-checker
|
|
|
|
|
;; 'intero
|
|
|
|
|
;; 'haskell-hlint)
|
2018-08-31 19:31:14 +02:00
|
|
|
|
(set-fill-column 80)
|
|
|
|
|
(setq evil-shift-width 2))
|
2018-03-30 00:10:07 +02:00
|
|
|
|
|
|
|
|
|
;; (load! org-clubhouse)
|
|
|
|
|
(add-hook! org-mode #'org-clubhouse-mode)
|
|
|
|
|
|
2018-08-31 19:31:14 +02:00
|
|
|
|
(load! "slack-snippets")
|
2018-03-30 00:10:07 +02:00
|
|
|
|
|
|
|
|
|
(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
|
|
|
|
|
|
2018-08-31 19:31:14 +02:00
|
|
|
|
(require 'smartparens)
|
|
|
|
|
|
2018-03-30 00:10:07 +02:00
|
|
|
|
(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))
|
|
|
|
|
|
2018-08-31 19:31:14 +02:00
|
|
|
|
|
2018-03-30 00:10:07 +02:00
|
|
|
|
(require 'flow-minor-mode)
|
|
|
|
|
|
2018-08-31 19:31:14 +02:00
|
|
|
|
(remove-hook 'js2-mode-hook 'tide-setup t)
|
|
|
|
|
|
2020-05-18 17:33:50 +02:00
|
|
|
|
;; (require 'company-flow)
|
|
|
|
|
;; (eval-after-load 'company
|
|
|
|
|
;; (lambda () (add-to-list 'company-backends 'company-flow)))
|
2018-08-31 19:31:14 +02:00
|
|
|
|
(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)
|
|
|
|
|
|
2018-03-30 00:10:07 +02:00
|
|
|
|
|
|
|
|
|
;; Auto-format Haskell on save, with a combination of hindent + brittany
|
|
|
|
|
|
2019-02-27 20:08:47 +01:00
|
|
|
|
; (define-minor-mode brittany-haskell-mode
|
|
|
|
|
; :init-value nil
|
|
|
|
|
; :group 'haskell
|
|
|
|
|
; :lighter "Brittany-Haskell"
|
|
|
|
|
; :keymap '()
|
|
|
|
|
; )
|
2018-03-30 00:10:07 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(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)
|
2019-02-27 20:08:47 +01:00
|
|
|
|
|
2018-03-30 00:10:07 +02:00
|
|
|
|
(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)))))
|
|
|
|
|
|
2019-01-05 20:15:48 +01:00
|
|
|
|
(setq projectile-create-missing-test-files 't)
|
|
|
|
|
|
2018-08-31 19:31:14 +02:00
|
|
|
|
(after! magit
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(map! :map magit-mode-map
|
|
|
|
|
;; :n "] ]" #'magit-section-forward
|
|
|
|
|
;; :n "[ [" #'magit-section-backward
|
|
|
|
|
)
|
|
|
|
|
|
2019-02-27 20:08:47 +01:00
|
|
|
|
(define-suffix-command magit-commit-wip ()
|
|
|
|
|
(interactive)
|
|
|
|
|
(magit-commit-create '("-m" "wip")))
|
|
|
|
|
|
|
|
|
|
(transient-append-suffix
|
|
|
|
|
#'magit-commit
|
|
|
|
|
["c"]
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(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))
|
2020-06-22 15:18:00 +02:00
|
|
|
|
)
|
2018-03-30 00:10:07 +02:00
|
|
|
|
|
|
|
|
|
;; (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))))))))
|
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! lsp-mode
|
|
|
|
|
:after (:any haskell-mode)
|
|
|
|
|
:config
|
|
|
|
|
(setq lsp-response-timeout 60)
|
|
|
|
|
:hook
|
|
|
|
|
(haskell-mode . lsp-mode))
|
2018-09-18 16:18:20 +02:00
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(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
|
2020-05-18 17:33:27 +02:00
|
|
|
|
(add-to-list #'company-backends #'company-lsp)
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(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 there’s 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")))
|
2018-09-18 16:18:20 +02:00
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(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)
|
|
|
|
|
;; )
|
2018-03-30 00:10:07 +02:00
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! evil-magit
|
2018-03-30 00:10:07 +02:00
|
|
|
|
:after (magit))
|
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! writeroom-mode)
|
2018-08-31 19:31:14 +02:00
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! graphql-mode)
|
2018-08-31 19:31:14 +02:00
|
|
|
|
|
|
|
|
|
(require 'whitespace)
|
|
|
|
|
(setq whitespace-style '(face lines-tail))
|
|
|
|
|
(global-whitespace-mode t)
|
2019-01-05 20:15:48 +01:00
|
|
|
|
(add-hook 'org-mode-hook (lambda () (whitespace-mode -1)) t)
|
2018-08-31 19:31:14 +02:00
|
|
|
|
|
|
|
|
|
(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))))))
|
2018-11-21 18:45:05 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(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)
|
2019-01-05 20:15:48 +01:00
|
|
|
|
(checking 3)
|
|
|
|
|
(match 1)
|
2019-02-27 20:08:47 +01:00
|
|
|
|
(domonad 0)
|
|
|
|
|
(describe 1)
|
|
|
|
|
(before 1)
|
|
|
|
|
(it 2)))
|
2018-11-21 18:45:05 +01:00
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! flycheck-clojure
|
2019-02-27 20:08:47 +01:00
|
|
|
|
;; :disabled t
|
|
|
|
|
:after (flycheck cider)
|
2018-11-21 18:45:05 +01:00
|
|
|
|
: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")))
|
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! sqlup-mode
|
2018-11-21 18:45:05 +01:00
|
|
|
|
:hook
|
|
|
|
|
(sql-mode-hook . sqlup-mode)
|
|
|
|
|
(sql-interactive-mode-hook . sqlup-mode))
|
2019-01-05 20:15:48 +01:00
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! emacsql)
|
|
|
|
|
(use-package! emacsql-psql
|
2019-03-11 03:23:45 +01:00
|
|
|
|
:after (emacsql))
|
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! pyimport
|
|
|
|
|
:after (python))
|
2019-01-05 20:15:48 +01:00
|
|
|
|
|
2020-05-18 17:32:51 +02:00
|
|
|
|
(use-package! blacken
|
2020-03-26 20:03:25 +01:00
|
|
|
|
:after (python)
|
|
|
|
|
:init
|
2020-05-18 17:32:51 +02:00
|
|
|
|
(add-hook #'python-mode-hook #'blacken-mode)
|
2020-03-26 20:03:25 +01:00
|
|
|
|
:config
|
2020-05-18 17:32:51 +02:00
|
|
|
|
(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))))
|
2020-03-26 20:03:25 +01:00
|
|
|
|
|
|
|
|
|
(use-package! ob-http
|
2019-01-05 20:15:48 +01:00
|
|
|
|
:config
|
|
|
|
|
(add-to-list 'org-babel-load-languages '(http . t)))
|
|
|
|
|
|
2020-05-18 17:32:51 +02:00
|
|
|
|
;; (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"))
|
2019-02-27 20:08:47 +01:00
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! counsel-spotify)
|
|
|
|
|
|
|
|
|
|
(after! counsel
|
|
|
|
|
(map! [remap counsel-org-capture] #'org-capture
|
|
|
|
|
[remap org-capture] #'org-capture))
|
2019-02-27 20:08:47 +01:00
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! evil-snipe :disabled t)
|
2019-02-27 20:08:47 +01:00
|
|
|
|
(evil-snipe-mode -1)
|
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! rainbow-mode)
|
2019-02-27 20:08:47 +01:00
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! org-alert
|
|
|
|
|
:disabled t
|
2019-02-27 20:08:47 +01:00
|
|
|
|
:config
|
|
|
|
|
(org-alert-enable)
|
|
|
|
|
(setq alert-default-style 'libnotify
|
|
|
|
|
org-alert-headline-title "org"))
|
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! ob-async)
|
2019-02-27 20:08:47 +01:00
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! org-recent-headings
|
2019-03-25 01:52:35 +01:00
|
|
|
|
:after (org)
|
|
|
|
|
:config
|
|
|
|
|
(map! :n "SPC n r" #'org-recent-headings-ivy))
|
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(use-package! org-sticky-header
|
2019-03-25 01:52:35 +01:00
|
|
|
|
:after (org)
|
|
|
|
|
:hook (org-mode-hook . org-sticky-header-mode)
|
|
|
|
|
:config
|
|
|
|
|
(setq-default org-sticky-header-heading-star "●"))
|
|
|
|
|
|
2019-02-27 20:08:47 +01:00
|
|
|
|
(enable-theme 'grfn-solarized-light)
|
2019-03-25 01:52:35 +01:00
|
|
|
|
|
|
|
|
|
;;; 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")
|
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(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)))
|
2019-03-25 01:52:35 +01:00
|
|
|
|
|
|
|
|
|
(defun +grfn/extract-alembic-migration-name (output)
|
2020-05-18 17:33:34 +02:00
|
|
|
|
(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))
|
2019-03-25 01:52:35 +01:00
|
|
|
|
(match-string-no-properties 1 output))
|
|
|
|
|
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(defun -run-alembic (args)
|
2019-03-25 01:52:35 +01:00
|
|
|
|
(let* ((default-directory (funcall alembic-dir-fun))
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(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: ")
|
2019-03-25 01:52:35 +01:00
|
|
|
|
(let ((default-directory (funcall alembic-dir-fun)))
|
2020-03-26 20:03:25 +01:00
|
|
|
|
(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
|
2020-05-18 17:32:51 +02:00
|
|
|
|
;; (set-company-backend! 'anaconda-mode #'company-yasnippet)
|
|
|
|
|
)
|
2020-03-26 20:03:25 +01:00
|
|
|
|
|
|
|
|
|
;; (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
|
|
|
|
|
)
|
|
|
|
|
)
|
|
|
|
|
)
|
|
|
|
|
|
2020-05-18 17:33:04 +02:00
|
|
|
|
;; (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"))))
|
2020-03-26 20:03:25 +01:00
|
|
|
|
|
|
|
|
|
(solaire-global-mode -1)
|
|
|
|
|
|
|
|
|
|
(use-package! wsd-mode)
|
|
|
|
|
|
|
|
|
|
(use-package! metal-mercury-mode)
|
|
|
|
|
(use-package! flycheck-mercury
|
|
|
|
|
:after (metal-mercury-mode flycheck-mercury))
|
2020-05-18 17:32:51 +02:00
|
|
|
|
|
|
|
|
|
(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"))))))
|
2020-06-23 18:43:00 +02:00
|
|
|
|
|
|
|
|
|
(use-package! jsonnet-mode
|
2020-07-03 05:27:40 +02:00
|
|
|
|
:config
|
|
|
|
|
(map!
|
|
|
|
|
(:map jsonnet-mode-map
|
|
|
|
|
(:n "g SPC" #'jsonnet-eval-buffer))))
|