From 064934f86c8f2839f28acc92c07864ce265f68fe Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 30 Apr 2022 10:42:42 +0100 Subject: Adding company fixes to config.org --- doom/config.org | 19 +++++++++++++------ zsh/.zsh/export.zsh | 1 + 2 files changed, 14 insertions(+), 6 deletions(-) diff --git a/doom/config.org b/doom/config.org index b35d7fd..837185a 100644 --- a/doom/config.org +++ b/doom/config.org @@ -39,6 +39,7 @@ (electric-indent-mode -1) (menu-bar-mode -1) +(add-hook 'text-mode-hook (lambda () (company-mode -1))) #+end_src * Key Binding Customisations @@ -51,8 +52,7 @@ (global-set-key (kbd "M-c") #'capitalize-dwim) (global-set-key (kbd "C-c z") #'quick-calc) (global-set-key (kbd "") #'revert-buffer) -(global-set-key (kbd "C-.") #'other-window) -(global-set-key (kbd "C-,") (lambda () (interactive) (other-window -1))) +(global-set-key (kbd "M-,") (lambda () (interactive) (other-window -1))) (global-set-key (kbd "C-c l") #'org-store-link) (global-set-key (kbd "C-c a") #'org-agenda) (global-set-key (kbd "C-c /") #'avy-goto-word-1) @@ -660,7 +660,10 @@ "M-r" #'sp-split-sexp) (require 'smartparens-config) (show-smartparens-global-mode +1) - (smartparens-global-mode 1)) + (smartparens-global-mode 1) +;;(sp-pair "'" nil :actions :rem) + (sp-local-pair 'coq-mode "'" nil :actions nil) + ) (after! writeroom-mode (setq +zen-text-scale 1)) @@ -1028,6 +1031,10 @@ https://yannherklotz.com") (message "Compilation complete") (browse-url html-fname)))) +(use-package! rst + :config + (add-hook 'rst-mode-hook (lambda () (setq fill-column 80)))) + (use-package! ox-context :after org) @@ -1035,7 +1042,7 @@ https://yannherklotz.com") :after org :config) -(add-to-list 'load-path "/usr/local/Cellar/agda/2.6.2.2/cabal/store/ghc-8.10.7/Agd-2.6.2.2-3bca6588/share/emacs-mode") - -(use-package! agda2-mode) +;;(add-to-list 'load-path "/usr/local/Cellar/agda/2.6.2.2/cabal/store/ghc-8.10.7/Agd-2.6.2.2-3bca6588/share/emacs-mode") +;; +;;(use-package! agda2-mode) #+end_src diff --git a/zsh/.zsh/export.zsh b/zsh/.zsh/export.zsh index fc5e3fc..1cc8bef 100644 --- a/zsh/.zsh/export.zsh +++ b/zsh/.zsh/export.zsh @@ -13,6 +13,7 @@ export VISUAL='emacsclient -c' export TERM='xterm-256color' export CLICOLOR=1 export LEDGER_FILE="$HOME/Dropbox/ledger/main.ledger" +export VAGRANT_HOME=/mnt/orca/vagrant #export LFSCSIGS="$HOME/.opam/default/.opam-switch/sources/coq-smtcoq.dev+8.13/src/lfsc/tests/signatures" -- cgit