Skip to content

Instantly share code, notes, and snippets.

@meditans
Created January 30, 2016 13:36
Show Gist options
  • Select an option

  • Save meditans/eb1352b696dafb225641 to your computer and use it in GitHub Desktop.

Select an option

Save meditans/eb1352b696dafb225641 to your computer and use it in GitHub Desktop.
spacemacs configuration file for f-a
;; -*- mode: emacs-lisp -*-
(defun dotspacemacs/layers ()
(setq-default
dotspacemacs-distribution 'spacemacs
dotspacemacs-configuration-layer-path '()
dotspacemacs-configuration-layers '(
emacs-lisp
git github version-control
latex markdown
spell-checking syntax-checking
erc
dash
extra-langs
elm
(org :variables
org-enable-github-support t)
(evil-snipe :variables
evil-snipe-enable-alternate-f-and-t-behaviors t
evil-snipe-scope 'visible)
(shell :variables
shell-default-shell 'eshell
shell-enable-smart-eshell t)
(haskell :variables
haskell-enable-hindent-style "gibiansky"
haskell-process-type 'stack-ghci
haskell-tags-on-save t
haskell-process-use-presentation-mode t
haskell-process-suggest-haskell-docs-imports nil)
(auto-completion :variables
auto-completion-enable-help-tooltip t
auto-completion-enable-sort-by-usage t
auto-completion-complete-with-key-sequence "jk"
auto-completion-enable-snippets-in-popup t))
dotspacemacs-additional-packages '(helm-pages
focus
cdlatex
;; helm-dash
;; pdf-tools
typing
togetherly)
dotspacemacs-excluded-packages '()
dotspacemacs-delete-orphan-packages t))
(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."
(setq-default
dotspacemacs-editing-style 'vim
dotspacemacs-verbose-loading nil
dotspacemacs-startup-banner 'official
dotspacemacs-startup-lists nil
dotspacemacs-themes '(spacemacs-light spacemacs-dark)
dotspacemacs-colorize-cursor-according-to-state t
dotspacemacs-default-font '("Source Code Pro"
:size 21
:weight normal
:width normal
:powerline-scale 1.1)
dotspacemacs-leader-key "SPC"
dotspacemacs-emacs-leader-key "M-m"
dotspacemacs-major-mode-leader-key ","
dotspacemacs-major-mode-emacs-leader-key "C-M-m"
dotspacemacs-command-key ":"
dotspacemacs-remap-Y-to-y$ t
dotspacemacs-auto-save-file-location 'cache
dotspacemacs-use-ido nil
dotspacemacs-helm-resize nil
dotspacemacs-helm-no-header nil
dotspacemacs-helm-position 'bottom
dotspacemacs-enable-paste-micro-state t
dotspacemacs-which-key-delay 0.4
dotspacemacs-which-key-position 'bottom
dotspacemacs-loading-progress-bar t
dotspacemacs-fullscreen-at-startup nil
dotspacemacs-fullscreen-use-non-native nil
dotspacemacs-maximized-at-startup t
dotspacemacs-active-transparency 90
dotspacemacs-inactive-transparency 90
dotspacemacs-mode-line-unicode-symbols t
dotspacemacs-smooth-scrolling t
dotspacemacs-smartparens-strict-mode nil
dotspacemacs-highlight-delimiters 'all
dotspacemacs-persistent-server nil
dotspacemacs-search-tools '("ag" "pt" "ack" "grep")
dotspacemacs-default-package-repository nil
)
)
(defun dotspacemacs/user-init ()
(setq-default
avy-all-windows 'all-frames)
;; This is important to prevent spacemacs freezing at startup
;; Check out spacemacs FAQ on github
(setq tramp-ssh-controlmaster-options
"-o ControlMaster=auto -o ControlPath='tramp.%%C' -o ControlPersist=no")
)
(defun dotspacemacs/user-config ()
;; Haskell configuration
(setq-default flycheck-disabled-checkers '(haskell-ghc haskell-stack-ghc haskell-hlint))
(setq haskell-process-suggest-remove-import-lines nil
haskell-process-suggest-hoogle-imports nil
haskell-interactive-popup-errors nil
;; ghc-report-errors nil
flycheck-indication-mode nil
flycheck-ghc-args (quote ("-fno-warn-type-defaults")))
(defun haskell-indentation-advice ()
(when (and (< 1 (line-number-at-pos))
(save-excursion
(forward-line -1)
(string= "" (s-trim (buffer-substring (line-beginning-position) (line-end-position))))))
(delete-region (line-beginning-position) (point))))
(advice-add 'haskell-indentation-newline-and-indent
:after 'haskell-indentation-advice)
;; Togetherly configuration
(require 'togetherly)
;; Page Break Mode configuration
(push 'haskell-mode page-break-lines-modes)
(global-page-break-lines-mode)
;; Golden Ratio configuration
(spacemacs/toggle-golden-ratio-on)
;; Eshell configuration
(defun eshell/clear () "Clear the eshell buffer."
(let ((inhibit-read-only t)) (erase-buffer)))
(defadvice eshell-gather-process-output (before absolute-cmd (command args) act)
(setq command (file-truename command)))
;; Erc configuration
(setq erc-hide-list '("JOIN" "KICK" "NICK" "PART" "QUIT" "MODE"))
(setq erc-nick "meditans")
(setq erc-autojoin-channels-alist
'(("freenode.net" "#haskell.it" "##narrative-ai" "#haskell" "#haskell-lens")))
;; LaTeX configuration
(setq TeX-save-query nil
preview-scale-function 2.0)
;; Babel configuration
(org-babel-do-load-languages
(quote org-babel-load-languages)
(quote ((emacs-lisp . t)
(calc . t))))
)
;; Do not write anything past this comment. This is where Emacs will
;; auto-generate custom variable definitions.
(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.
'(paradox-github-token t))
(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.
'(company-tooltip-common ((t (:inherit company-tooltip :weight bold :underline nil))))
'(company-tooltip-common-selection ((t (:inherit company-tooltip-selection :weight bold :underline nil)))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment