393 lines
21 KiB
Plaintext
393 lines
21 KiB
Plaintext
;; -*- mode: emacs-lisp -*-
|
|
;; This file is loaded by Spacemacs at startup.
|
|
;; It must be stored in your home directory.
|
|
|
|
(defun dotspacemacs/layers ()
|
|
"Configuration Layers declaration.
|
|
You should not put any user code in this function besides modifying the variable
|
|
values."
|
|
(setq-default
|
|
;; Base distribution to use. This is a layer contained in the directory
|
|
;; `+distribution'. For now available distributions are `spacemacs-base'
|
|
;; or `spacemacs'. (default 'spacemacs)
|
|
dotspacemacs-distribution 'spacemacs
|
|
;; Lazy installation of layers (i.e. layers are installed only when a file
|
|
;; with a supported type is opened). Possible values are `all', `unused'
|
|
;; and `nil'. `unused' will lazy install only unused layers (i.e. layers
|
|
;; not listed in variable `dotspacemacs-configuration-layers'), `all' will
|
|
;; lazy install any layer that support lazy installation even the layers
|
|
;; listed in `dotspacemacs-configuration-layers'. `nil' disable the lazy
|
|
;; installation feature and you have to explicitly list a layer in the
|
|
;; variable `dotspacemacs-configuration-layers' to install it.
|
|
;; (default 'unused)
|
|
dotspacemacs-enable-lazy-installation 'unused
|
|
;; If non-nil then Spacemacs will ask for confirmation before installing
|
|
;; a layer lazily. (default t)
|
|
dotspacemacs-ask-for-lazy-installation t
|
|
;; If non-nil layers with lazy install support are lazy installed.
|
|
;; List of additional paths where to look for configuration layers.
|
|
;; Paths must have a trailing slash (i.e. `~/.mycontribs/')
|
|
dotspacemacs-configuration-layer-path '()
|
|
;; List of configuration layers to load.
|
|
dotspacemacs-configuration-layers
|
|
'(
|
|
html
|
|
idris
|
|
;; agda
|
|
javascript
|
|
markdown
|
|
c-c++
|
|
;; ----------------------------------------------------------------
|
|
;; Example of useful layers you may want to use right away.
|
|
;; Uncomment some layer names and press <SPC f e R> (Vim style) or
|
|
;; <M-m f e R> (Emacs style) to install them.
|
|
;; ----------------------------------------------------------------
|
|
helm
|
|
auto-completion
|
|
better-defaults
|
|
emacs-lisp
|
|
(git :variables
|
|
git-enable-github-support t
|
|
git-gutter-use-fringe t)
|
|
;; markdown
|
|
(org :variables org-enable-reveal-js-support t)
|
|
;; (shell :variables
|
|
;; shell-default-height 30
|
|
;; shell-default-position 'bottom)
|
|
(syntax-checking :variables syntax-checking-enable-tooltips nil)
|
|
version-control
|
|
scala
|
|
latex
|
|
finance
|
|
;; (mu4e :variables mu4e-installation-path "/var/run/current-system/sw/share/emacs/site-lisp/mu4e")
|
|
racket
|
|
;; parinfer
|
|
)
|
|
;; 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 '(dash-functional f mmm-mode vdirel lean-mode company-lean helm-lean)
|
|
;; A list of packages that cannot be updated.
|
|
dotspacemacs-frozen-packages '()
|
|
;; A list of packages that will not be installed and loaded.
|
|
dotspacemacs-excluded-packages '()
|
|
;; Defines the behaviour of Spacemacs when installing packages.
|
|
;; Possible values are `used-only', `used-but-keep-unused' and `all'.
|
|
;; `used-only' installs only explicitly used packages and uninstall any
|
|
;; unused packages as well as their unused dependencies.
|
|
;; `used-but-keep-unused' installs only the used packages but won't uninstall
|
|
;; them if they become unused. `all' installs *all* packages supported by
|
|
;; Spacemacs and never uninstall them. (default is `used-only')
|
|
dotspacemacs-install-packages 'used-only))
|
|
|
|
(defun dotspacemacs/init ()
|
|
"Initialization function.
|
|
This function is called at the very startup of Spacemacs initialization
|
|
before layers configuration.
|
|
You should not put any user code in there besides modifying the variable
|
|
values."
|
|
;; This setq-default sexp is an exhaustive list of all the supported
|
|
;; spacemacs settings.
|
|
(setq-default
|
|
;; If non nil ELPA repositories are contacted via HTTPS whenever it's
|
|
;; possible. Set it to nil if you have no way to use HTTPS in your
|
|
;; environment, otherwise it is strongly recommended to let it set to t.
|
|
;; This variable has no effect if Emacs is launched with the parameter
|
|
;; `--insecure' which forces the value of this variable to nil.
|
|
;; (default t)
|
|
dotspacemacs-elpa-https t
|
|
;; Maximum allowed time in seconds to contact an ELPA repository.
|
|
dotspacemacs-elpa-timeout 5
|
|
;; If non nil then spacemacs will check for updates at startup
|
|
;; when the current branch is not `develop'. Note that checking for
|
|
;; new versions works via git commands, thus it calls GitHub services
|
|
;; whenever you start Emacs. (default nil)
|
|
dotspacemacs-check-for-update nil
|
|
;; If non-nil, a form that evaluates to a package directory. For example, to
|
|
;; use different package directories for different Emacs versions, set this
|
|
;; to `emacs-version'.
|
|
dotspacemacs-elpa-subdirectory nil
|
|
;; One of `vim', `emacs' or `hybrid'.
|
|
;; `hybrid' is like `vim' except that `insert state' is replaced by the
|
|
;; `hybrid state' with `emacs' key bindings. The value can also be a list
|
|
;; with `:variables' keyword (similar to layers). Check the editing styles
|
|
;; section of the documentation for details on available variables.
|
|
;; (default 'vim)
|
|
dotspacemacs-editing-style 'vim
|
|
;; If non nil output loading progress in `*Messages*' buffer. (default nil)
|
|
dotspacemacs-verbose-loading nil
|
|
;; Specify the startup banner. Default value is `official', it displays
|
|
;; the official spacemacs logo. An integer value is the index of text
|
|
;; banner, `random' chooses a random text banner in `core/banners'
|
|
;; directory. A string value must be a path to an image format supported
|
|
;; by your Emacs build.
|
|
;; If the value is nil then no banner is displayed. (default 'official)
|
|
dotspacemacs-startup-banner 999
|
|
;; List of items to show in startup buffer or an association list of
|
|
;; the form `(list-type . list-size)`. If nil then it is disabled.
|
|
;; Possible values for list-type are:
|
|
;; `recents' `bookmarks' `projects' `agenda' `todos'."
|
|
;; List sizes may be nil, in which case
|
|
;; `spacemacs-buffer-startup-lists-length' takes effect.
|
|
dotspacemacs-startup-lists '((recents . 5)
|
|
(projects . 7))
|
|
;; True if the home buffer should respond to resize events.
|
|
dotspacemacs-startup-buffer-responsive t
|
|
;; 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 <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 '(solarized-light
|
|
solarized-dark)
|
|
;; If non nil the cursor color matches the state color in GUI Emacs.
|
|
dotspacemacs-colorize-cursor-according-to-state t
|
|
;; 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"
|
|
;; "Monospace"
|
|
;; :size 14
|
|
:weight normal
|
|
:width normal
|
|
:powerline-scale 1.1)
|
|
;; The leader key
|
|
dotspacemacs-leader-key "SPC"
|
|
;; 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 "M-m"
|
|
;; Major mode leader key is a shortcut key which is the equivalent of
|
|
;; pressing `<leader> 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 "C-M-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 <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
|
|
;; If non nil `Y' is remapped to `y$' in Evil states. (default nil)
|
|
dotspacemacs-remap-Y-to-y$ nil
|
|
;; 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.
|
|
;; (default nil)
|
|
dotspacemacs-visual-line-move-text nil
|
|
;; If non nil, inverse the meaning of `g' in `:substitute' Evil ex-command.
|
|
;; (default nil)
|
|
dotspacemacs-ex-substitute-global nil
|
|
;; Name of the default layout (default "Default")
|
|
dotspacemacs-default-layout-name "Default"
|
|
;; 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
|
|
;; start. (default nil)
|
|
dotspacemacs-auto-resume-layouts nil
|
|
;; Size (in MB) above which spacemacs will prompt to open the large file
|
|
;; literally to avoid performance issues. Opening a file literally means that
|
|
;; no major mode or minor modes are active. (default is 1)
|
|
dotspacemacs-large-file-size 1
|
|
;; Location where to auto-save files. Possible values are `original' to
|
|
;; auto-save the file in-place, `cache' to auto-save the file to another
|
|
;; file stored in the cache directory and `nil' to disable auto-saving.
|
|
;; (default 'cache)
|
|
dotspacemacs-auto-save-file-location 'original
|
|
;; Maximum number of rollback slots to keep in the cache. (default 5)
|
|
dotspacemacs-max-rollback-slots 5
|
|
;; If non nil, `helm' will try to minimize the space it uses. (default nil)
|
|
dotspacemacs-helm-resize nil
|
|
;; if non nil, the helm header is hidden when there is only one source.
|
|
;; (default nil)
|
|
dotspacemacs-helm-no-header nil
|
|
;; define the position to display `helm', options are `bottom', `top',
|
|
;; `left', or `right'. (default 'bottom)
|
|
dotspacemacs-helm-position 'bottom
|
|
;; Controls fuzzy matching in helm. If set to `always', force fuzzy matching
|
|
;; in all non-asynchronous sources. If set to `source', preserve individual
|
|
;; 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`
|
|
;; 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
|
|
;; the commands bound to the current keystroke sequence. (default 0.4)
|
|
dotspacemacs-which-key-delay 0.4
|
|
;; Which-key frame position. Possible values are `right', `bottom' and
|
|
;; `right-then-bottom'. right-then-bottom tries to display the frame to the
|
|
;; right; if there is insufficient space it displays it at the bottom.
|
|
;; (default 'bottom)
|
|
dotspacemacs-which-key-position 'bottom
|
|
;; If non nil a progress bar is displayed when spacemacs is loading. This
|
|
;; may increase the boot time on some systems and emacs builds, set it to
|
|
;; nil to boost the loading time. (default t)
|
|
dotspacemacs-loading-progress-bar t
|
|
;; If non nil the frame is fullscreen when Emacs starts up. (default nil)
|
|
;; (Emacs 24.4+ only)
|
|
dotspacemacs-fullscreen-at-startup nil
|
|
;; If non nil `spacemacs/toggle-fullscreen' will not use native fullscreen.
|
|
;; Use to disable fullscreen animations in OSX. (default nil)
|
|
dotspacemacs-fullscreen-use-non-native nil
|
|
;; If non nil the frame is maximized when Emacs starts up.
|
|
;; Takes effect only if `dotspacemacs-fullscreen-at-startup' is nil.
|
|
;; (default nil) (Emacs 24.4+ only)
|
|
dotspacemacs-maximized-at-startup nil
|
|
;; A value from the range (0..100), in increasing opacity, which describes
|
|
;; the transparency level of a frame when it's active or selected.
|
|
;; Transparency can be toggled through `toggle-transparency'. (default 90)
|
|
dotspacemacs-active-transparency 90
|
|
;; A value from the range (0..100), in increasing opacity, which describes
|
|
;; the transparency level of a frame when it's inactive or deselected.
|
|
;; Transparency can be toggled through `toggle-transparency'. (default 90)
|
|
dotspacemacs-inactive-transparency 90
|
|
;; If non nil show the titles of transient states. (default t)
|
|
dotspacemacs-show-transient-state-title t
|
|
;; If non nil show the color guide hint for transient state keys. (default t)
|
|
dotspacemacs-show-transient-state-color-guide t
|
|
;; If non nil unicode symbols are displayed in the mode line. (default t)
|
|
dotspacemacs-mode-line-unicode-symbols t
|
|
;; If non nil smooth scrolling (native-scrolling) is enabled. Smooth
|
|
;; 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
|
|
;; 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.
|
|
;; (default nil)
|
|
dotspacemacs-smartparens-strict-mode nil
|
|
;; If non-nil pressing the closing parenthesis `)' key in insert mode passes
|
|
;; over any automatically added closing parenthesis, bracket, quote, etc…
|
|
;; This can be temporary disabled by pressing `C-q' before `)'. (default nil)
|
|
dotspacemacs-smart-closing-parenthesis nil
|
|
;; Select a scope to highlight delimiters. Possible values are `any',
|
|
;; `current', `all' or `nil'. Default is `all' (highlight any scope and
|
|
;; emphasis the current one). (default 'all)
|
|
dotspacemacs-highlight-delimiters 'all
|
|
;; If non nil, advise quit functions to keep server open when quitting.
|
|
;; (default nil)
|
|
dotspacemacs-persistent-server nil
|
|
;; List of search tool executable names. Spacemacs uses the first installed
|
|
;; tool of the list. Supported tools are `ag', `pt', `ack' and `grep'.
|
|
;; (default '("ag" "pt" "ack" "grep"))
|
|
dotspacemacs-search-tools '("ag" "pt" "ack" "grep")
|
|
;; The default package repository used if no explicit repository has been
|
|
;; specified with an installed package.
|
|
;; Not used for now. (default nil)
|
|
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
|
|
;; delete only whitespace for changed lines or `nil' to disable cleanup.
|
|
;; (default nil)
|
|
dotspacemacs-whitespace-cleanup nil
|
|
))
|
|
|
|
(defun dotspacemacs/user-init ()
|
|
"Initialization function for user code.
|
|
It is called immediately after `dotspacemacs/init', before layer configuration
|
|
executes.
|
|
This function is mostly useful for variables that need to be set
|
|
before packages are loaded. If you are unsure, you should try in setting them in
|
|
`dotspacemacs/user-config' first."
|
|
)
|
|
|
|
(defun dotspacemacs/user-config ()
|
|
"Configuration function for user code.
|
|
This function is called at the very end of Spacemacs initialization after
|
|
layers configuration.
|
|
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."
|
|
|
|
(set-fontset-font t 'unicode "Noto Emoji" nil 'prepend)
|
|
|
|
;; (setq mu4e-mu-binary "/var/run/current-system/sw/bin/mu")
|
|
(setq user-full-name "Gabriel Ebner"
|
|
user-mail-address "gebner@gebner.org")
|
|
;; (setq mu4e-compose-signature "Gabriel.")
|
|
(setq message-send-mail-function 'smtpmail-send-it
|
|
;; mu4e-sent-messages-behavior 'sent
|
|
smtpmail-smtp-server "mail.gebner.org"
|
|
smtpmail-stream-type 'starttls
|
|
smtpmail-smtp-service 587
|
|
smtpmail-local-domain "gebner.org")
|
|
(setq vdirel-repository "~/.contacts/contacts.vcf/")
|
|
;; (setq mu4e-get-mail-command "nm-online && mbsync -a"
|
|
;; mu4e-update-interval 300)
|
|
;; (setq mu4e-attachment-dir "~/Downloads")
|
|
;; (setq mu4e-drafts-folder "/drafts"
|
|
;; mu4e-sent-folder "/sent"
|
|
;; mu4e-trash-folder "/Trash")
|
|
;; (setq mu4e-change-filenames-when-moving t)
|
|
;; (setq mu4e-view-show-images t
|
|
;; mu4e-view-image-max-width 1000
|
|
;; mu4e-view-image-max-height 1000)
|
|
;; (setq mu4e-msg2pdf "/run/current-system/sw/bin/msg2pdf")
|
|
(when (fboundp 'imagemagick-register-types)
|
|
(imagemagick-register-types))
|
|
;; (setq mu4e-html2text-command "elinks -dump")
|
|
;; (setq mu4e-use-fancy-chars t)
|
|
;; (setq mu4e-compose-in-new-frame t)
|
|
|
|
(setq evil-in-single-undo t)
|
|
|
|
(add-to-load-path "~/lean4/lean4-mode")
|
|
(require 'lean4-mode)
|
|
(push 'lean4-mode spacemacs-indent-sensitive-modes)
|
|
|
|
(setq twelf-root "/home/gebner/twelf/")
|
|
(when (file-exists-p twelf-root)
|
|
(load-file (concat twelf-root "emacs/twelf-init.el")))
|
|
|
|
(setq spacemacs-default-jump-handlers
|
|
(remove 'evil-goto-definition spacemacs-default-jump-handlers))
|
|
|
|
(setq flycheck-display-errors-function nil) ; disable annoying flycheck tooltips
|
|
(spacemacs|define-jump-handlers lean-mode lean-find-definition))
|
|
|
|
|
|
;; Do not write anything past this comment. This is where Emacs will
|
|
;; auto-generate custom variable definitions.
|
|
(custom-set-faces
|
|
;; custom-set-faces was added by Custom.
|
|
;; If you edit it by hand, you could mess it up, so be careful.
|
|
;; Your init file should contain only one such instance.
|
|
;; If there is more than one, they won't work right.
|
|
)
|
|
(custom-set-variables
|
|
;; custom-set-variables was added by Custom.
|
|
;; If you edit it by hand, you could mess it up, so be careful.
|
|
;; Your init file should contain only one such instance.
|
|
;; If there is more than one, they won't work right.
|
|
'(lean-server-show-pending-tasks t)
|
|
'(package-selected-packages
|
|
(quote
|
|
(org-vcard org-category-capture log4e gntp skewer-mode json-snatcher json-reformat parent-mode request fringe-helper git-gutter+ git-gutter pos-tip flx anzu scala-mode diminish tern bind-map auto-complete pkg-info popup helm-lean persp-mode powerline alert multiple-cursors hydra projectile sbt-mode bind-key packed auctex company iedit smartparens highlight evil goto-chg yasnippet gitignore-mode flycheck epl f dash-functional avy magit magit-popup git-commit ghub let-alist with-editor markdown-mode js2-mode simple-httpd s helm helm-core async company-lean lean-mode org-mime racket-mode faceup winum unfill mu4e-maildirs-extension fuzzy web-mode tagedit slim-mode scss-mode sass-mode pug-mode less-css-mode helm-css-scss haml-mode emmet-mode company-web web-completion-data idris-mode prop-menu ws-butler window-numbering which-key web-beautify volatile-highlights vi-tilde-fringe vdirel uuidgen use-package toc-org spacemacs-theme spaceline solarized-theme smeargle restart-emacs rainbow-delimiters quelpa popwin pcre2el paradox ox-reveal orgit org-projectile org-present org-pomodoro org-plus-contrib org-download org-bullets open-junk-file noflet neotree mwim mu4e-alert move-text mmm-mode markdown-toc magit-gitflow macrostep lorem-ipsum livid-mode linum-relative link-hint ledger-mode json-mode js2-refactor js-doc info+ indent-guide ido-vertical-mode hungry-delete htmlize hl-todo highlight-parentheses highlight-numbers highlight-indentation hide-comnt help-fns+ helm-themes helm-swoop helm-projectile helm-mode-manager helm-make helm-gitignore helm-flx helm-descbinds helm-company helm-c-yasnippet helm-ag google-translate golden-ratio gnuplot gitconfig-mode gitattributes-mode git-timemachine git-messenger git-link git-gutter-fringe git-gutter-fringe+ gh-md flycheck-pos-tip flycheck-ledger flx-ido fill-column-indicator 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 ensime elisp-slime-nav dumb-jump disaster diff-hl define-word company-tern company-statistics company-c-headers company-auctex column-enforce-mode coffee-mode cmake-mode clean-aindent-mode clang-format auto-yasnippet auto-highlight-symbol auto-compile auctex-latexmk aggressive-indent adaptive-wrap ace-window ace-link ace-jump-helm-line ac-ispell)))
|
|
'(preview-auto-cache-preamble t)
|
|
'(preview-scale-function 1.7))
|