241 lines
11 KiB
Plaintext
241 lines
11 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."
|
|
(setq-default
|
|
;; 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. If it is the symbol `all' instead
|
|
;; of a list then all discovered layers will be installed.
|
|
dotspacemacs-configuration-layers
|
|
'(
|
|
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.
|
|
;; ----------------------------------------------------------------
|
|
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
|
|
version-control
|
|
scala
|
|
latex
|
|
finance
|
|
(mu4e :variables mu4e-installation-path "/var/run/current-system/sw/share/emacs/site-lisp/mu4e")
|
|
)
|
|
;; List of additional packages that will be installed without being
|
|
;; wrapped in a layer. If you need some configuration for these
|
|
;; packages then consider to create a layer, you can also put the
|
|
;; configuration in `dotspacemacs/config'.
|
|
dotspacemacs-additional-packages '(dash-functional f mmm-mode vdirel)
|
|
;; A list of packages and/or extensions that will not be install and loaded.
|
|
dotspacemacs-excluded-packages '(persp-mode)
|
|
;; If non-nil spacemacs will delete any orphan packages, i.e. packages that
|
|
;; are declared in a layer which is not a member of
|
|
;; the list `dotspacemacs-configuration-layers'
|
|
dotspacemacs-delete-orphan-packages t))
|
|
|
|
(defun dotspacemacs/init ()
|
|
"Initialization function.
|
|
This function is called at the very startup of Spacemacs initialization
|
|
before layers configuration."
|
|
;; This setq-default sexp is an exhaustive list of all the supported
|
|
;; spacemacs settings.
|
|
(setq-default
|
|
;; Either `vim' or `emacs'. Evil is always enabled but if the variable
|
|
;; is `emacs' then the `holy-mode' is enabled at startup.
|
|
dotspacemacs-editing-style 'vim
|
|
;; If non nil output loading progress in `*Messages*' buffer.
|
|
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.
|
|
dotspacemacs-startup-banner 999
|
|
;; List of items to show in the startup buffer. If nil it is disabled.
|
|
;; Possible values are: `recents' `bookmarks' `projects'."
|
|
dotspacemacs-startup-lists '(recents projects)
|
|
;; 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
|
|
spacemacs-light
|
|
spacemacs-dark
|
|
leuven
|
|
monokai
|
|
zenburn)
|
|
;; If non nil the cursor color matches the state color.
|
|
dotspacemacs-colorize-cursor-according-to-state t
|
|
;; Default font. `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 leader key accessible in `emacs state' and `insert state'
|
|
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.
|
|
dotspacemacs-major-mode-leader-key ","
|
|
;; Major mode leader key accessible in `emacs state' and `insert state'
|
|
dotspacemacs-major-mode-emacs-leader-key "C-M-m"
|
|
;; The command key used for Evil commands (ex-commands) and
|
|
;; Emacs commands (M-x).
|
|
;; By default the command key is `:' so ex-commands are executed like in Vim
|
|
;; with `:' and Emacs commands are executed with `<leader> :'.
|
|
dotspacemacs-command-key ":"
|
|
;; 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 value is `cache'.
|
|
dotspacemacs-auto-save-file-location 'original
|
|
;; If non nil then `ido' replaces `helm' for some commands. For now only
|
|
;; `find-files' (SPC f f) is replaced.
|
|
dotspacemacs-use-ido nil
|
|
;; If non nil the paste micro-state is enabled. When enabled pressing `p`
|
|
;; several times cycle between the kill ring content.
|
|
dotspacemacs-enable-paste-micro-state nil
|
|
;; Guide-key delay in seconds. The Guide-key is the popup buffer listing
|
|
;; the commands bound to the current keystrokes.
|
|
dotspacemacs-guide-key-delay 0.4
|
|
;; 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.
|
|
dotspacemacs-loading-progress-bar t
|
|
;; If non nil the frame is fullscreen when Emacs starts up.
|
|
;; (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."
|
|
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.
|
|
;; (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'.
|
|
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'.
|
|
dotspacemacs-inactive-transparency 90
|
|
;; If non nil unicode symbols are displayed in the mode line.
|
|
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 the
|
|
;; point when it reaches the top or bottom of the screen.
|
|
dotspacemacs-smooth-scrolling t
|
|
;; If non-nil smartparens-strict-mode will be enabled in programming modes.
|
|
dotspacemacs-smartparens-strict-mode nil
|
|
;; Select a scope to highlight delimiters. Possible value is `all',
|
|
;; `current' or `nil'. Default is `all'
|
|
dotspacemacs-highlight-delimiters 'all
|
|
;; If non nil advises quit functions to keep server open when quitting.
|
|
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'.
|
|
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.
|
|
dotspacemacs-default-package-repository nil
|
|
)
|
|
;; User initialization goes here
|
|
|
|
(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)
|
|
)
|
|
|
|
|
|
(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."
|
|
|
|
(setq twelf-root "/home/gebner/twelf/")
|
|
(when (file-exists-p twelf-root)
|
|
(load-file (concat twelf-root "emacs/twelf-init.el")))
|
|
|
|
(setq lean-rootdir "/home/gebner/lean")
|
|
(when (file-exists-p lean-rootdir)
|
|
(setq load-path (cons (concat lean-rootdir "/src/emacs") load-path))
|
|
(require 'lean-mode)
|
|
(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))
|