X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/configs/blobdiff_plain/ccdc4e0c2f85ad11b81c0d5260abd105754c2bd0..be76c6db0ab38f4c8f3c4209a10b47087610f26f:/spacemacs/.spacemacs?ds=sidebyside diff --git a/spacemacs/.spacemacs b/spacemacs/.spacemacs index 3a27d81..d10b4af 100644 --- a/spacemacs/.spacemacs +++ b/spacemacs/.spacemacs @@ -40,32 +40,36 @@ values." c-c++ emacs-lisp git - haskell + ;; (haskell :variables + ;; haskell-completion-backend 'intero + ;; haskell-enable-hindent-style "johan-tibell") html - ;; idris + idris ivy ;; javascript latex markdown org - ;; python + python ;; racket - ;; rust + rust (shell :variables shell-default-height 30 shell-default-position 'bottom) shell-scripts spell-checking syntax-checking - themes-megapack - ;; version-control - ;; yaml + version-control + yaml ) ;; List of additional packages that will be installed without being ;; wrapped in a layer. If you need some configuration for these ;; packages, then consider creating a layer. You can also put the ;; configuration in `dotspacemacs/user-config'. - dotspacemacs-additional-packages '() + dotspacemacs-additional-packages + '( + beacon ; Highlight cursor position in buffer + ) ;; A list of packages that cannot be updated. dotspacemacs-frozen-packages '() ;; A list of packages that will not be installed and loaded. @@ -135,43 +139,41 @@ values." ;; Default major mode of the scratch buffer (default `text-mode') dotspacemacs-scratch-mode 'text-mode ;; List of themes, the first of the list is loaded when spacemacs starts. - ;; Press T n to cycle to the next theme in the list (works great + ;; Press `SPC T n' to cycle to the next theme in the list (works great ;; with 2 themes variants, one dark and one light) - dotspacemacs-themes '(tango-plus - creamsody + dotspacemacs-themes '((tango-plus :location (recipe :fetcher github + :repo "aminb/tango-plus-theme")) spacemacs-dark - spacemacs-light - solarized-light - tao-yang) + spacemacs-light) ;; If non-nil the cursor color matches the state color in GUI Emacs. dotspacemacs-colorize-cursor-according-to-state nil ;; Default font, or prioritized list of fonts. `powerline-scale' allows to ;; quickly tweak the mode-line size to make separators look not too crappy. - dotspacemacs-default-font '("Source Code Pro" - :size 13 + dotspacemacs-default-font '("Ubuntu Mono" + :size 10.5 :weight normal :width normal - :powerline-scale 1.6) + :powerline-scale 1.0) ;; The leader key dotspacemacs-leader-key "SPC" - ;; The key used for Emacs commands (M-x) (after pressing on the leader key). + ;; The key used for Emacs commands `M-x' (after pressing on the leader key). ;; (default "SPC") dotspacemacs-emacs-command-key "SPC" ;; The key used for Vim Ex commands (default ":") dotspacemacs-ex-command-key ":" ;; The leader key accessible in `emacs state' and `insert state' ;; (default "M-m") - dotspacemacs-emacs-leader-key "S-SPC" + dotspacemacs-emacs-leader-key "M-m" ;; Major mode leader key is a shortcut key which is the equivalent of ;; pressing ` m`. Set it to `nil` to disable it. (default ",") dotspacemacs-major-mode-leader-key "," ;; Major mode leader key accessible in `emacs state' and `insert state'. ;; (default "C-M-m") - dotspacemacs-major-mode-emacs-leader-key "M-SPC" + dotspacemacs-major-mode-emacs-leader-key "M-s-m" ;; These variables control whether separate commands are bound in the GUI to - ;; the key pairs C-i, TAB and C-m, RET. - ;; Setting it to a non-nil value, allows for separate commands under - ;; and TAB or and RET. + ;; the key pairs `C-i', `TAB' and `C-m', `RET'. + ;; Setting it to a non-nil value, allows for separate commands under `C-i' + ;; and TAB or `C-m' and `RET'. ;; In the terminal, these pairs are generally indistinguishable, so this only ;; works in the GUI. (default nil) dotspacemacs-distinguish-gui-tab nil @@ -180,7 +182,7 @@ values." ;; If non-nil, the shift mappings `<' and `>' retain visual state if used ;; there. (default t) dotspacemacs-retain-visual-state-on-shift t - ;; If non-nil, J and K move lines up and down when in visual mode. + ;; If non-nil, `J' and `K' move lines up and down when in visual mode. ;; (default nil) dotspacemacs-visual-line-move-text nil ;; If non-nil, inverse the meaning of `g' in `:substitute' Evil ex-command. @@ -191,7 +193,7 @@ values." ;; If non-nil the default layout name is displayed in the mode-line. ;; (default nil) dotspacemacs-display-default-layout nil - ;; If non-nil then the last auto saved layouts are resume automatically upon + ;; If non-nil then the last auto saved layouts are resumed automatically upon ;; start. (default nil) dotspacemacs-auto-resume-layouts nil ;; Size (in MB) above which spacemacs will prompt to open the large file @@ -218,7 +220,7 @@ values." ;; source settings. Else, disable fuzzy matching in all sources. ;; (default 'always) dotspacemacs-helm-use-fuzzy 'always - ;; If non-nil the paste micro-state is enabled. When enabled pressing `p` + ;; If non-nil the paste micro-state is enabled. When enabled pressing `p' ;; several times cycle between the kill ring content. (default nil) dotspacemacs-enable-paste-transient-state nil ;; Which-key delay in seconds. The which-key buffer is the popup listing @@ -267,14 +269,24 @@ values." ;; scrolling overrides the default behavior of Emacs which recenters point ;; when it reaches the top or bottom of the screen. (default t) dotspacemacs-smooth-scrolling t - ;; If non-nil line numbers are turned on in all `prog-mode' and `text-mode' - ;; derivatives. If set to `relative', also turns on relative line numbers. + ;; Control line numbers activation. + ;; If set to `t' or `relative' line numbers are turned on in all `prog-mode' and + ;; `text-mode' derivatives. If set to `relative', line numbers are relative. + ;; This variable can also be set to a property list for finer control: + ;; '(:relative nil + ;; :disabled-for-modes dired-mode + ;; doc-view-mode + ;; markdown-mode + ;; org-mode + ;; pdf-view-mode + ;; text-mode + ;; :size-limit-kb 1000) ;; (default nil) dotspacemacs-line-numbers nil ;; Code folding method. Possible values are `evil' and `origami'. ;; (default 'evil) dotspacemacs-folding-method 'evil - ;; If non-nil smartparens-strict-mode will be enabled in programming modes. + ;; If non-nil `smartparens-strict-mode' will be enabled in programming modes. ;; (default nil) dotspacemacs-smartparens-strict-mode nil ;; If non-nil pressing the closing parenthesis `)' key in insert mode passes @@ -298,10 +310,13 @@ values." dotspacemacs-default-package-repository nil ;; Delete whitespace while saving buffer. Possible values are `all' ;; to aggressively delete empty line and long sequences of whitespace, - ;; `trailing' to delete only the whitespace at end of lines, `changed'to + ;; `trailing' to delete only the whitespace at end of lines, `changed' to ;; delete only whitespace for changed lines or `nil' to disable cleanup. ;; (default nil) dotspacemacs-whitespace-cleanup nil + ;; Either nil or a number of seconds. If non-nil zone out after the specified + ;; number of seconds. (default nil) + dotspacemacs-zone-out-when-idle nil )) (defun dotspacemacs/user-init () @@ -321,7 +336,8 @@ This is the place where most of your configurations should be done. Unless it is explicitly specified that a variable should be set before a package is loaded, you should place your code here." - (setq powerline-default-separator 'slant) + ;; (setq powerline-default-separator 'slant) + (setq powerline-default-separator 'arrow) ;; (setq magit-commit-arguments '("--signoff" ;; "--gpg-sign=4E05246AB0BF7FFB")) @@ -342,14 +358,39 @@ you should place your code here." '(((output-dvi style-pstricks) "dvips and gv") (output-dvi "xdvi") - (output-pdf "zathura") + (output-pdf "Zathura") (output-html "xdg-open"))) - (setq TeX-view-program-list - '(("zathura" - ("zathura" (mode-io-correlate "-sync.sh") - " " - (mode-io-correlate "%n:1:%t ") - "%o")))) + ;; (setq TeX-view-program-list + ;; '(("zathura" + ;; ("zathura" (mode-io-correlate "-sync.sh") + ;; " " + ;; (mode-io-correlate "%n:1:%t ") + ;; "%o")))) + + ;; Recompile with latexmk -xelatex on save + (add-hook 'after-save-hook + (lambda () + (when (string= major-mode 'latex-mode) + (TeX-run-latexmk "LaTeX" + (format "latexmk -xelatex %s" (buffer-file-name)) + (file-name-base (buffer-file-name)))))) + + ;; Move to beg/end of buffer before signaling an error + (setq scroll-error-top-bottom t) + + (use-package beacon + :ensure nil + :init (beacon-mode 1) + :diminish beacon-mode) + + (use-package delsel ; Replace selected text upon typing + :ensure nil + :defer t + :init (delete-selection-mode)) + + (setq magit-repository-directories '(("~/src/" . 2) + ("~/usr/uni/eecs/3311/" . 0) + ("~/dotfiles/" . 0))) ;; Swap : and ; ;; (define-key evil-motion-state-map ";" 'evil-ex) @@ -373,7 +414,7 @@ This function is called at the very end of Spacemacs initialization." ;; If there is more than one, they won't work right. '(package-selected-packages (quote - (zonokai-theme znc zenburn-theme zen-and-art-theme xterm-color ws-butler writeroom-mode window-numbering which-key wgrep web-mode volatile-highlights vi-tilde-fringe uuidgen use-package underwater-theme ujelly-theme twilight-theme twilight-bright-theme twilight-anti-bright-theme tronesque-theme toxi-theme toc-org tao-theme tangotango-theme tango-plus-theme tango-2-theme tagedit sunny-day-theme sublime-themes subatomic256-theme subatomic-theme spacemacs-theme spaceline spacegray-theme sourcerer-theme soothe-theme solarized-theme soft-stone-theme soft-morning-theme soft-charcoal-theme smyx-theme smex smeargle slim-mode shell-pop seti-theme scss-mode sass-mode reverse-theme restart-emacs request rainbow-delimiters railscasts-theme quelpa purple-haze-theme pug-mode professional-theme popwin planet-theme phoenix-dark-pink-theme phoenix-dark-mono-theme persp-mode pcre2el pastels-on-dark-theme paradox orgit organic-green-theme org-ref org-projectile org-present org-pomodoro org-plus-contrib org-download org-bullets open-junk-file omtose-phellack-theme oldlace-theme occidental-theme obsidian-theme noctilux-theme niflheim-theme neotree naquadah-theme mwim mustang-theme multi-term mu4e-maildirs-extension mu4e-alert move-text monokai-theme monochrome-theme molokai-theme moe-theme mmm-mode minimal-theme material-theme markdown-toc majapahit-theme magit-gitflow macrostep lush-theme lorem-ipsum linum-relative link-hint light-soap-theme less-css-mode jbeans-theme jazz-theme ivy-purpose ivy-hydra ir-black-theme intero insert-shebang inkpot-theme info+ indent-guide ido-vertical-mode hungry-delete htmlize hlint-refactor hl-todo hindent highlight-parentheses highlight-numbers highlight-indentation hide-comnt heroku-theme hemisu-theme help-fns+ helm-make hc-zenburn-theme haskell-snippets gruvbox-theme gruber-darker-theme grandshell-theme gotham-theme google-translate golden-ratio gnuplot gitignore-mode gitconfig-mode gitattributes-mode git-timemachine git-messenger git-link gh-md gandalf-theme flyspell-correct-ivy flycheck-pos-tip flycheck-haskell flx-ido flatui-theme flatland-theme fish-mode firebelly-theme fill-column-indicator farmhouse-theme fancy-battery eyebrowse expand-region exec-path-from-shell evil-visualstar evil-visual-mark-mode evil-unimpaired evil-tutor evil-surround evil-search-highlight-persist evil-numbers evil-nerd-commenter evil-mc evil-matchit evil-magit evil-lisp-state evil-indent-plus evil-iedit-state evil-exchange evil-escape evil-ediff evil-args evil-anzu eval-sexp-fu espresso-theme eshell-z eshell-prompt-extras esh-help erc-yt erc-view-log erc-social-graph erc-image erc-hl-nicks emmet-mode elisp-slime-nav dumb-jump dracula-theme django-theme disaster define-word darktooth-theme darkokai-theme darkmine-theme darkburn-theme dakrone-theme cyberpunk-theme crux counsel-projectile company-web company-statistics company-shell company-ghci company-ghc company-cabal company-c-headers company-auctex column-enforce-mode color-theme-sanityinc-tomorrow color-theme-sanityinc-solarized cmm-mode cmake-mode clues-theme clean-aindent-mode clang-format cherry-blossom-theme busybee-theme bubbleberry-theme birds-of-paradise-plus-theme badwolf-theme auto-yasnippet auto-highlight-symbol auto-dictionary auto-compile auctex-latexmk apropospriate-theme anti-zenburn-theme ample-zen-theme ample-theme alect-themes aggressive-indent afternoon-theme adaptive-wrap ace-window ace-link ac-ispell)))) + (idris-mode prop-menu symon string-inflection browse-at-remote yapfify pyvenv pytest pyenv-mode py-isort pip-requirements live-py-mode hy-mode cython-mode company-anaconda anaconda-mode pythonic beacon toml-mode racer git-gutter-fringe+ git-gutter-fringe fringe-helper git-gutter+ git-gutter flycheck-rust seq diff-hl cargo rust-mode visual-fill-column winum unfill powerline spinner key-chord ht alert log4e gntp markdown-mode window-purpose imenu-list hydra parent-mode helm-bibtex parsebib haml-mode fuzzy flyspell-correct pos-tip flycheck flx magit magit-popup git-commit with-editor smartparens iedit anzu evil goto-chg undo-tree highlight f s diminish autothemer pkg-info epl web-completion-data ghc bind-map bind-key biblio biblio-core packed dash auctex async avy auto-complete popup yaml-mode zenburn-theme tao-theme smeargle ivy-hydra info+ htmlize counsel-projectile counsel swiper company-statistics clues-theme ample-theme yasnippet haskell-mode company projectile ivy helm helm-core zonokai-theme znc zen-and-art-theme xterm-color ws-butler writeroom-mode window-numbering which-key wgrep web-mode volatile-highlights vi-tilde-fringe uuidgen use-package underwater-theme ujelly-theme twilight-theme twilight-bright-theme twilight-anti-bright-theme tronesque-theme toxi-theme toc-org tangotango-theme tango-plus-theme tango-2-theme tagedit sunny-day-theme sublime-themes subatomic256-theme subatomic-theme spacemacs-theme spaceline spacegray-theme sourcerer-theme soothe-theme solarized-theme soft-stone-theme soft-morning-theme soft-charcoal-theme smyx-theme smex slim-mode shell-pop seti-theme scss-mode sass-mode reverse-theme restart-emacs request rainbow-delimiters railscasts-theme quelpa purple-haze-theme pug-mode professional-theme popwin planet-theme phoenix-dark-pink-theme phoenix-dark-mono-theme persp-mode pcre2el pastels-on-dark-theme paradox orgit organic-green-theme org-ref org-projectile org-present org-pomodoro org-plus-contrib org-download org-bullets open-junk-file omtose-phellack-theme oldlace-theme occidental-theme obsidian-theme noctilux-theme niflheim-theme neotree naquadah-theme mwim mustang-theme multi-term mu4e-maildirs-extension mu4e-alert move-text monokai-theme monochrome-theme molokai-theme moe-theme mmm-mode minimal-theme material-theme markdown-toc majapahit-theme magit-gitflow macrostep lush-theme lorem-ipsum linum-relative link-hint light-soap-theme less-css-mode jbeans-theme jazz-theme ivy-purpose ir-black-theme intero insert-shebang inkpot-theme indent-guide ido-vertical-mode hungry-delete hlint-refactor hl-todo hindent highlight-parentheses highlight-numbers highlight-indentation hide-comnt heroku-theme hemisu-theme help-fns+ helm-make hc-zenburn-theme haskell-snippets gruvbox-theme gruber-darker-theme grandshell-theme gotham-theme google-translate golden-ratio gnuplot gitignore-mode gitconfig-mode gitattributes-mode git-timemachine git-messenger git-link gh-md gandalf-theme flyspell-correct-ivy flycheck-pos-tip flycheck-haskell flx-ido flatui-theme flatland-theme fish-mode firebelly-theme fill-column-indicator farmhouse-theme fancy-battery eyebrowse expand-region exec-path-from-shell evil-visualstar evil-visual-mark-mode evil-unimpaired evil-tutor evil-surround evil-search-highlight-persist evil-numbers evil-nerd-commenter evil-mc evil-matchit evil-magit evil-lisp-state evil-indent-plus evil-iedit-state evil-exchange evil-escape evil-ediff evil-args evil-anzu eval-sexp-fu espresso-theme eshell-z eshell-prompt-extras esh-help erc-yt erc-view-log erc-social-graph erc-image erc-hl-nicks emmet-mode elisp-slime-nav dumb-jump dracula-theme django-theme disaster define-word darktooth-theme darkokai-theme darkmine-theme darkburn-theme dakrone-theme cyberpunk-theme crux creamsody-theme company-web company-shell company-ghci company-ghc company-cabal company-c-headers company-auctex column-enforce-mode color-theme-sanityinc-tomorrow color-theme-sanityinc-solarized cmm-mode cmake-mode clean-aindent-mode clang-format cherry-blossom-theme busybee-theme bubbleberry-theme birds-of-paradise-plus-theme badwolf-theme auto-yasnippet auto-highlight-symbol auto-dictionary auto-compile auctex-latexmk apropospriate-theme anti-zenburn-theme ample-zen-theme alect-themes aggressive-indent afternoon-theme adaptive-wrap ace-window ace-link ac-ispell)))) (custom-set-faces ;; custom-set-faces was added by Custom. ;; If you edit it by hand, you could mess it up, so be careful.