bauer: an Emacs+Nix IDE
Bauer’s Automated Unified Emacs Realm

This ORG-mode file generates an Emacs configuration. I am calling it an Emacs+Nix IDE. That is, the Emacs configuration is integrated with hardcoded Nix store paths. This provides a kind of functional Emacs configuration. The integration between Emacs & Nix comes with lots of useful side effects. The raw Org file can always be downloaded here. You can create pull requests & issues on the GitHub repo. You can access my website at

Table of Contents



This is the script that I use to setup all of my new machines but it’s portable enough for anyone to use.

To install, just run this command from your shell:

curl | sh

Once it’s installed, you can open Emacs at any time with this command:


If you don’t like it, it’s also very easy to uninstall. Just run:

nix-env -e bauer
nix-collect-garbage -d


After you’ve installed it, it’s easy to make changes. By default, the configuration lives in ~/.local/share/bauer. To make changes just follow this process,

cd ~/.local/share/bauer

The last line will spawn an Emacs frame in the Git repo. Anything in that file can be change. Once you’ve made a change, just run M-x dev-restart to rebuild the configuration & restart Emacs. Make any changes you want to the file or any of the files in the site-lisp folder. Make sure you commit your changes afterward by typing C-c p v, then c-ac. If you have already forked this repo on GitHub, you can add it as a remote by typing Mg followed by your GitHub username within Magit. To push to it, just type Pr then find your username in the list & press enter. Pull requests are always welcome through GitHub!

Without Nix

You can also use this configuration without Nix. This just gives you the Emacs configuration without any of the Nix integrations. All of the binaries will have to be provided externally. To get started, run the following:

mkdir -p ~/.emacs.d
git clone \

Then, add the following to your Emacs init file:

  (expand-file-name "settings.el" user-emacs-directory) t)
(defvar bauer-dir
        (expand-file-name ".nixpkgs" (getenv "HOME")))
(defvar bauer-org
        (expand-file-name "" bauer-dir))
(add-to-list 'load-path
             (expand-file-name "site-lisp" bauer-dir))
(unless (file-exists-p
          (expand-file-name "README.el" bauer-dir))
  (let ((default-directory bauer-dir))
    (autoload 'org-babel-tangle-file "ob-tangle")
    (org-babel-tangle-file bauer-org
(load (expand-file-name "README.el" bauer-dir) t)

Emacs init file

This is the main part of the IDE. It is written in Emacs lisp & will be loaded every time Emacs is started.

Increase GC

Increasing GC is a common way to speed up Emacs. gc-cons-threshold sets at what point Emacs should invoke its garbage collector Some people set it to a really larger number permanently. This works well until the garbage is actually collected (then you have to wait a long time). I’ve decided to just set it temporarily to a large number so we only garbage collect once on startup. After that we reset it to the standard value. Read @bling’s post for more info on this.

;; -*- mode: emacs-lisp; coding: utf-8; -*-

(defvar file-name-handler-alist-backup
(setq gc-cons-threshold
      file-name-handler-alist nil)
(add-hook 'after-init-hook
  (lambda ()
    (setq gc-cons-threshold
            (car (get 'gc-cons-threshold 'standard-value))

Autoloads & Misc.

Setup some initial aliases for Emacs. These give us an easy way to use these functions without actually require’ing them. Ideally, Emacs should pick these up through the automatic autoloading method, but that sometimes conflicts with the compiling phases used later.

  (autoload 'package-installed-p "package")
  (autoload 'use-package-autoload-keymap "use-package")
  (autoload 'pcomplete-arg   "pcomplete")
  (autoload 'pcomplete--here "pcomplete")
  (autoload 'tramp-tramp-file-p "tramp")
  (autoload 'tramp-dissect-file-name "tramp"))

Now we are going to setup some basic Emacs GUI elements. Under normal circumstances, we want GUI elements hidden from the user so that we only see the text buffer. This gives us a minimalist look that works well with the theme. We will end up disabling tool-bar-mode, scroll-bar-mode, blink-cursor-mode, & menu-bar-mode here. The one exception to this is when we are running macOS where the system provides a builtin menubar system that Emacs can use.

(when window-system
  (tool-bar-mode -1)
  (scroll-bar-mode -1)
  (blink-cursor-mode -1))

(when (not (memq window-system '(mac ns)))
  (menu-bar-mode -1))

When we are within a terminal we want to be able to use the mouse, so xterm-mouse-mode is enabled here.

(when (not window-system)
  (xterm-mouse-mode 1))

Custom config

set-defaults provides an easy way to override the default custom files. This means that when you customize a variable it will appear as ‘standard’ even though it’s not what the package originally defined as the default. This is useful for an Emacs distribution to provide better defaults while still letting the user override them. Look through the lispdoc of the package for documentation on how this works. Eventually, this will be added to MELPA for use in other Emacs distributions.

(require 'set-defaults)

Better defaults

These are some better defaults for Emacs. They shouldn’t require any packages to be installed to work (those go in use-package). In addition, they should take almost no time to run (meaning they probably shouldn’t have custom init hooks). The format of arguments to set-defaults is identical to the one used by custom-set-variables.

 '(TeX-auto-save t)
 '(TeX-auto-untabify t)
 '(TeX-electric-escape t)
 '(TeX-parse-self t)
 '(ad-redefinition-action 'accept)
 '(apropos-do-all t)
 '(async-shell-command-buffer 'new-buffer)
 '(auth-source-save-behavior t)
 '(auto-revert-check-vc-info t)
 '(auto-revert-verbose nil)
 '(auto-save-visited-file-name t)
 '(ange-ftp-default-user t)
 '(auto-window-vscroll nil)
 '(backward-delete-char-untabify-method 'hungry)
 '(backup-directory-alist `(("." .
    ,(expand-file-name "backup" user-emacs-directory))))
 '(checkdoc-spellcheck-documentation-flag t)
 '(company-auto-complete (lambda ()
    (and (company-tooltip-visible-p)
   '(not save-buffer
 '(company-require-match nil)
 '(company-selection-wrap-around t)
 '(company-backends '(company-elisp
                       company-keywords company-dabbrev
 '(comint-input-ignoredups t)
 '(comint-process-echoes t)
 '(comint-prompt-read-only t)
 '(comint-scroll-show-maximum-output nil)
 '(compilation-always-kill t)
 '(compilation-ask-about-save nil)
 '(compilation-environment '("TERM=xterm-256color"))
 '(compilation-skip-threshold 2)
 '(completion-styles '(basic
 '(completions-cycle-threshold t)
 '(completions-format 'vertical)
 '(counsel-find-file-at-point t)
 '(counsel-mode-override-describe-bindings t)
 '(create-lockfiles nil)
 '(cursor-in-non-selected-windows nil)
 '(custom-buffer-done-kill t)
 '(custom-file (expand-file-name
 '(custom-safe-themes t)
 '(custom-search-field nil)
 '(delete-by-moving-to-trash t)
 '(delete-old-versions t)
 '(dired-auto-revert-buffer t)
 '(dired-dwim-target t)
 '(dired-hide-details-hide-symlink-targets nil)
 '(dired-listing-switches "-alhv")
 '(dired-omit-files "^\\.\\|^#.*#$")
 '(dired-omit-verbose nil)
 '(dired-recursive-copies 'always)
 '(dired-recursive-deletes 'always)
 '(dired-subtree-line-prefix " ")
 '(disabled-command-function nil)
 '(display-buffer-reuse-frames t)
 '(dtrt-indent-verbosity 0)
 '(echo-keystrokes 0)
 '(enable-recursive-minibuffers t)
 '(erc-autojoin-timing 'ident)
 '(erc-interpret-mirc-color t)
 '(erc-join-buffer 'bury)
 '(erc-kill-buffer-on-part t)
 '(erc-kill-queries-on-quit t)
 '(erc-kill-server-buffer-on-quit t)
 '(erc-log-write-after-send t)
 '(erc-prompt (lambda nil (concat "[" (buffer-name) "]")))
 '(erc-prompt-for-password nil)
 '(erc-query-display 'buffer)
 '(erc-rename-buffers t)
 '(erc-timestamp-format "%H:%M ")
 '(erc-timestamp-only-if-changed-flag nil)
 '(erc-try-new-nick-p nil)
 '(erc-user-full-name 'user-full-name)
 '(eshell-banner-message "")
 '(eshell-cmpl-autolist t)
 '(eshell-cmpl-cycle-completions nil)
 '(eshell-cmpl-cycle-cutoff-length 2)
 '(eshell-cmpl-ignore-case t)
 '(eshell-cp-overwrite-files nil)
 '(eshell-default-target-is-dot t)
 '(eshell-destroy-buffer-when-process-dies t)
 '(eshell-hist-ignoredups t)
 '(eshell-history-size nil)
 '(eshell-list-files-after-cd t)
 '(eshell-ls-dired-initial-args '("-h"))
 '(eshell-ls-initial-args "-h")
 '(eshell-review-quick-commands t)
   (lambda ()
     (concat (when (tramp-tramp-file-p default-directory)
           (tramp-dissect-file-name default-directory))
           (tramp-dissect-file-name default-directory))
               " "))
               (let ((dir (eshell/pwd)))
                 (if (string= dir (getenv "HOME")) "~"
             (let ((dirname (file-name-nondirectory dir)))
                     (if (string= dirname "") "/" dirname))))
                       (if (= (user-uid) 0) " # " " $ "))))
 '(eval-expression-print-level nil)
 '(expand-region-contract-fast-key "j")
   '("-c" "export EMACS= INSIDE_EMACS=; stty echo; shell"))
 '(find-ls-option '("-print0 | xargs -P4 -0 ls -ldN" . "-ldN"))
 '(find-ls-subdir-switches "-ldN")
 '(flycheck-global-modes '(not erc-mode
 '(flycheck-standard-error-navigation nil)
 '(flyspell-highlight-properties nil)
 '(flyspell-issue-welcome-flag nil)
      (if (buffer-file-name)
              (abbreviate-file-name (buffer-file-name))
 '(gnuplot-inline-image-mode 'dedicated)
 '(haskell-ask-also-kill-buffers nil)
 '(haskell-interactive-mode-scroll-to-bottom t)
 '(haskell-process-load-or-reload-prompt t)
 '(haskell-process-prompt-restart-on-cabal-change nil)
 '(haskell-process-show-debug-tips nil)
 '(haskell-process-suggest-haskell-docs-imports t)
 '(haskell-process-suggest-hoogle-imports t)
 '(haskell-process-suggest-remove-import-lines t)
 '(haskell-process-suggest-restart nil)
 '(haskell-process-use-presentation-mode nil)
 '(help-window-select t)
 '(hideshowvis-ignore-same-line nil)
 '(highlight-nonselected-windows nil)
 '(history-delete-duplicates t)
 '(ibuffer-default-display-maybe-show-predicates t)
 '(ibuffer-expert t)
   '((mark modified read-only " " (name 16 -1) " "
           (size 6 -1 :right) " " (mode 16 16) " " filename)
           (mark " " (name 16 -1) " " filename)))
 '(ibuffer-maybe-show-regexps nil)
 '(ibuffer-show-empty-filter-groups nil)
 '(ibuffer-shrink-to-minimum-size t)
 '(ibuffer-use-other-window t)
 '(iedit-toggle-key-default nil)
 '(imenu-auto-rescan t)
 '(indicate-empty-lines t)
 '(inhibit-startup-echo-area-message t)
 '(inhibit-startup-screen t)
 '(initial-scratch-message "")
 '(initial-major-mode 'fundamental-mode)
 '(ispell-extra-args '("--sug-mode=ultra"))
 '(ispell-quietly t)
 '(ispell-silently-savep t)
 '(jit-lock-defer-time 0.25)
 '(js2-mode-show-parse-errors nil)
 '(js2-mode-show-strict-warnings nil)
 '(js2-strict-missing-semi-warning nil)
 '(kill-do-not-save-duplicates t)
 '(kill-whole-line t)
 '(load-prefer-newer t)
 '(mac-allow-anti-aliasing t)
 '(mac-command-key-is-meta t)
 '(mac-command-modifier 'meta)
 '(mac-frame-tabbing t)
 '(mac-option-key-is-meta nil)
 '(mac-option-modifier 'super)
 '(mac-right-option-modifier nil)
 '(mac-system-move-file-to-trash-use-finder t)
 '(magit-ediff-dwim-show-on-hunks t)
 '(magit-highlight-trailing-whitespace nil)
 '(magit-highlight-whitespace nil)
 '(magit-log-auto-more t)
 '(magit-no-confirm t)
 '(magit-process-popup-time 15)
 '(magit-save-repository-buffers 'dontask)
 '(magit-stage-all-confirm nil)
 '(magit-unstage-all-confirm nil)
 '(mmm-global-mode 'buffers-with-submode-classes)
 '(mmm-submode-decoration-level 2)
   '(read-only t
     cursor-intangible t
     face minibuffer-prompt))
 '(next-error-recenter t)
 '(notmuch-show-logo nil)
 '(nrepl-log-messages t)
 '(ns-function-modifier 'hyper)
 '(ns-pop-up-frames nil)
 '(nsm-save-host-names t)
 '(nxml-sexp-element-flag t)
 '(nxml-slash-auto-complete-flag t)
 '(org-confirm-babel-evaluate nil)
 '(org-edit-src-turn-on-auto-save t)
 '(org-export-with-toc nil)
 '(org-html-htmlize-output-type (quote css))
 '(org-latex-listings (quote minted))
 '(org-log-done 'time)
 '(org-special-ctrl-a/e t)
 '(org-support-shift-select t)
   '(("melpa" . "")
           ("org" . "")
           ("gnu" . "")))
 '(pcomplete-compare-entries-function 'file-newer-than-file-p)
 '(projectile-globally-ignored-files '(".DS_Store" "TAGS"))
 '(projectile-ignored-project-function 'file-remote-p)
        (if (and (ignore-errors (projectile-project-p))
                 (not (file-remote-p default-directory)))
            (format " Projectile[%s]"
 '(projectile-switch-project-action 'projectile-dired)
 '(projectile-verbose nil)
 '(proof-auto-action-when-deactivating-scripting 'retract)
 '(proof-autosend-enable nil)
 '(proof-electric-terminator-enable t)
 '(proof-fast-process-buffer nil)
 '(proof-script-fly-past-comments t)
 '(proof-shell-fiddle-frames nil)
 '(proof-splash-enable nil)
 '(proof-sticky-errors t)
 '(proof-tidy-response t)
 '(reb-re-syntax 'string)
 '(resize-mini-windows t)
 '(ring-bell-function 'ignore)
 '(ruby-insert-encoding-magic-comment nil)
 '(save-abbrevs 'silently)
 '(save-interprogram-paste-before-kill t)
 '(savehist-additional-variables '(search-ring
   '(load-history flyspell-auto-correct-ring kill-ring))
 '(scroll-preserve-screen-position 'always)
 '(scroll-conservatively 101)
 '(sentence-end-double-space nil)
 '(set-mark-command-repeat-pop t)
 '(shell-completion-execonly nil)
 '(shell-input-autoexpand nil)
 '(sh-learn-basic-offset t)
 ;; '(show-paren-delay 0)
 '(sp-autoskip-closing-pair 'always)
 '(sp-highlight-pair-overlay nil)
 '(switch-to-buffer-preserve-window-point t)
 '(tab-always-indent 'complete)
 '(term-input-autoexpand t)
 '(term-input-ignoredups t)
 '(term-input-ring-file-name t)
 '(text-quoting-style 'quote)
   '(((regexp-quote (system-name)) nil nil)
      (nil "\\`root\\'" "/ssh:%h:")
      (".*" "\\`root\\'" "/ssh:%h:")))
 '(tls-checktrust t)
 '(uniquify-buffer-name-style 'forward)
 '(uniquify-ignore-buffers-re "^\\*")
 '(uniquify-separator "/")
 '(use-dialog-box nil)
 '(use-file-dialog nil)
 '(use-package-always-defer t)
 '(version-control t)
 '(vc-allow-async-revert t)
 '(vc-command-messages t)
 '(vc-git-diff-switches '("-w" "-U3"))
 '(vc-follow-symlinks nil)
   (concat "\\(\\(\\`"
 '(vc-make-backup-files t)
 '(view-read-only t)
 '(view-inhibit-help-message t)
 '(visible-bell t)
 '(woman-imenu t)
 '(x-stretch-cursor t)
 '(which-key-lighter "")
 '(whitespace-action '(cleanup auto-cleanup))
 '(whitespace-style '(face trailing lines space-before-tab
                      empty lines-style))
 '(fortune-always-compile nil)

Site paths

Now, pull in generated paths from site-paths.el. Nix will generate this file automatically for us & different Emacs variables will be set to their Nix store derivation paths. Everything should work fine if you don’t have this available, though. If you are in Emacs & already have the IDE installed you can inspect this file by typing C-h C-l site-paths. It will look similar to a settings.el file where each line corresponds to a customizable variable. Unlike settings.el, each entry is path in the Nix store & we verify it exists before setting it.

(load "site-paths" t)

Set environment

set-envs is provided by set-defaults. We can use it like custom-set-variables, just it calls setenv instead of setq. All of these entries correspond to environment variables that we want to always be set in the Emacs process.

 '("EDITOR" "emacsclient")
 '("LANG" "en_US.UTF-8")
 '("LC_ALL" "en_US.UTF-8")
 '("PAGER" "cat")
 '("PS1" "\\W > ")

Fix broken Git on Windows.

(when (eq window-system 'w32)
  (setenv "GIT_ASKPASS" "git-gui--askpass"))

Load custom file

This file allows users to override the above defaults. This will mean you can use custom as you normally would in vanilla Emacs.

(load custom-file t)

Setup use-package

use-package is an Emacs package by John Weigley allowing users to easily configure other Emacs packages. It’s quite useful & it will be used extensively in this project.

Now to get use-package we will require package.el & initialize it if site-paths is not setup (meaning we’re outside the Nix expression). Because site-paths should be available (unless you don’t have Nix), we can skip this step. All of this is marked ‘eval-and-compile’ to make sure the compiler picks it up on build phase.

So, there are basically two modes for using this configuration. One when packages are installed externally (through Nix) & another where they are installed internally. This is captured in the variable ‘needs-package-init’ which will be t when we want to use the builtin package.el & will be nil when we want to just assume everything is available.

  (setq needs-package-init
        (and (not (locate-library "site-paths"))
                 (not (and
                    (boundp 'use-package-list--is-running)

First handle using package.el. We will do all of the work of bootstrapping here including running package-initialize, ensuring use-package, & delight are installed.

(when needs-package-init
  (require 'package)
  (unless (package-installed-p 'use-package)
    (package-install 'use-package))
  (unless (package-installed-p 'delight)
    (package-install 'delight)))

Actually require use-package,

  (require 'delight)
  (require 'bind-key)
  (require 'use-package))

Now let’s handle the case where all of the packages are already provided. Basically, we’ll prevent use-package from running ‘ensure’ on anything.

  (setq use-package-always-ensure needs-package-init)
  (when (not needs-package-init)
    (setq use-package-ensure-function 'ignore
          package-enable-at-startup nil
          package--init-file-ensured t)))

Key bindings

Using bind-key, setup some simple key bindings. None of these should overwrite Emacs’ default keybindings. Also, they should only require vanilla Emacs to work (non-vanilla Emacs key bindings should be put in their use-package declaration). These are meant to all be as close to vanilla Emacs as possible. I try to avoid extremely specific key binds here.

What is overwritten can be seen with M-x describe-personal-keybindings. The goal is to overwrite as little as possible. When it is necessary to overwrite Emacs keybinds, documentation on why should be provided.

First we include a library that provides some nice helper functions that will be used as key bindings.

(require 'bauer)

Now we will call bind-keys. We give it keys to bind & what function to run when those keys are pressed. Note on syntax of bind-keys: if you are unfamiliar with how Emacs key binding works, you should read through this article.

(when (fboundp 'ns-drag-n-drop-as-text)
  (global-set-key [M-s-drag-n-drop]
 ("C-c C-u" . rename-uniquely)
 ("C-x ~" . (lambda () (interactive) (find-file "~")))
 ("C-x /" . (lambda () (interactive) (find-file "/")))
 ("C-c C-o" . browse-url-at-point)
 ("H-l" . browse-url-at-point)
 ("C-x 5 3" . iconify-frame)
 ("C-x 5 4" . toggle-frame-fullscreen)
 ("s-SPC" . cycle-spacing)
 ("C-c w w" . whitespace-mode)
 ("<C-return>" . other-window)
 ("s-o" . other-window)
 ("C-z" . delete-other-windows)
 ("M-g l" . goto-line)
 ("<C-M-backspace>" . backward-kill-sexp)
 ("C-x t" . toggle-truncate-lines)
 ("C-x v H" . vc-region-history)
 ("C-c SPC" . just-one-space)
 ("C-c f" . flush-lines)
 ("C-c o" . customize-option)
 ("C-c O" . customize-group)
 ("C-c F" . customize-face)
 ("C-c q" . fill-region)
 ("C-c s" . replace-string)
 ("C-c u" . rename-uniquely)
 ("C-c z" . clean-buffer-list)
 ("C-c =" . count-matches)
 ("C-c ;" . comment-or-uncomment-region)
 ("M-+" . text-scale-increase)
 ("M-_" . text-scale-decrease)

 ("H-c" . compile)
 ("s-1" . other-frame)
 ("<s-return>" . toggle-frame-fullscreen)

 ("s-C-<left>" . enlarge-window-horizontally)
 ("s-C-<right>" . shrink-window-horizontally)
 ("s-C-<down>" . shrink-window)
 ("s-C-<up>" . enlarge-window)

 ("<S-s-up>" . shrink-window)
 ("<S-s-down>" . enlarge-window)

 ("<s-down>" . windmove-down)
 ("<s-up>" . windmove-up)
 ("<s-left>" . windmove-left)
 ("<s-right>" . windmove-right)

 ("C-c [" . align-regexp)
 ("M-s d" . find-grep-dired)
 ("M-s F" . find-grep)
 ("M-s G" . grep)
 ("s-/" . comment-or-uncomment-region)

 ("C-x M-p" . (lambda () (interactive)
                         (save-excursion (other-window 1)

 ("C-M--" . (lambda () (interactive)
                       (update-font-size -1 t)))
 ("C-M-=" . (lambda () (interactive)
                       (update-font-size 1 t)))
 ("C-M-0" . (lambda () (interactive)
                       (update-font-size 12 nil)))

 ("M-n" . next-error)
 ("M-p" . previous-error)

 ("C-c m b" . eval-buffer)
 ("C-c m e" . eval-last-sexp)
 ("C-c m i" . eval-expression)
 ("C-c m d" . eval-defun)
 ("C-c m n" . eval-print-last-sexp)
 ("C-c m r" . eval-region)

 ("C-x r q" . save-buffers-kill-terminal)
 ;; ("C-x C-c" . delete-frame)
 ;; ("C-c n" . cleanup-buffer)
 ;; ("C-c C-n" . cleanup-buffer)
 ("C-c C-<return>" . delete-blank-lines)
 ("C-<f10>" . menu-bar-mode)
 ("C-x M-g" . browse-url-at-point)

 ("C-s" . isearch-forward-regexp)
 ("C-r" . isearch-backward-regexp)
 ("C-S-s" . isearch-forward)
 ("C-S-r" . isearch-backward)
 ("M-s l" . sort-lines)
 ("M-s m" . multi-occur)
 ("M-s M" . multi-occur-in-matching-buffers)
 ("M-s f" . find-name-dired)
 ("C-c i i" . imenu)
 ("C-c I" . bauer-find-config))

 :package view
 :map view-mode-map
 ("n" . next-line)
 ("p" . previous-line)
 ("j" . next-line)
 ("k" . previous-line)
 ("l" . forward-char)
 ("f" . forward-char)
 ("b" . backward-char)
 ("e" . end-of-line)
 ("a" . beginning-of-line))

 :package iso-transl
 :map iso-transl-ctl-x-8-map
 ("' /" . "′")
 ("\" /" . "″")
 ("\" (" . "“")
 ("\" )" . "”")
 ("' (" . "‘" )
 ("' )" . "’" )
 ("4 < -" . "←")
 ("4 - >" . "→")
 ("4 b" . "←")
 ("4 f" . "→")
 ("4 p" . "↑")
 ("4 n" . "↓")
 ("<down>" . "⇓")
 ("<S-down>" . "↓")
 ("<left>" . "⇐")
 ("<S-left>" . "←")
 ("<right>" . "⇒")
 ("<S-right>" . "→")
 ("<up>" . "⇑")
 ("<S-up>" .    "↑")
 ("," .  "…"))

 :prefix-map bauer-git
 :prefix "s-g"
 ("l" . magit-clone)

 :prefix-map bauer-help
 :prefix "s-h"
 ("k" . describe-personal-keybindings)
 ("p" . ffap)
 ("m" . man)
 ("w" . woman))

(unless window-system
  (global-set-key (kbd "<mouse-4>") 'scroll-down-line)
  (global-set-key (kbd "<mouse-5>") 'scroll-up-line))

Setup installer

Installer provides installation & upgrading functionality. You can upgrade the IDE at any time by typing M-x upgrade from within Emacs. You may have to restart Emacs for the upgrade to take place. See installer.el for documentation.

(require 'installer nil t)


Each of these entries are use-package calls that will both install & load the package for us. The most important are listed first in “Essentials”. “Built-in“ Emacs packages are also configured. Next comes the “Programming Language” modes. Finally, we list some miscellaneous modes.

This is an alphabetized listing of all Emacs packages needed by the IDE. To resort, go to one of the package group headings & type C-c ^ a.


These are the best & most useful modes available to us in Emacs world.

  • aggressive-indent


    Automatically indent code as you type. Only enabled for Lisp currently.

    (use-package aggressive-indent
      :hook ((emacs-lisp-mode
              slime-repl-mode) . aggressive-indent-mode))
  • Apropospriate Theme


    This is the theme I use & it works well for this configuration. It is dark with high contrast. We will only enable it when we are running with GUI Emacs.

    (use-package apropospriate-theme
      :if window-system
      (add-to-list 'custom-theme-load-path
                     (locate-library "apropospriate-theme")))
      (load-theme 'apropospriate-dark t))
  • Company


    Company provides completions in Emacs. Activate them by pressing C-M-i.

    (load "company-autoloads" t t)
    (use-package company
      :commands global-company-mode
      (defun company-complete-common-or-cycle-backward ()
        "Complete common prefix or cycle backward."
        (company-complete-common-or-cycle -1))
      :bind (:map company-mode-map
             ("C-M-i" . company-complete-common-or-cycle)
             :map company-active-map
             ("RET" . company-complete-selection)
             ([return] . company-complete-selection)
             ("C-j" . company-complete-selection)
             ("TAB" . company-complete-common-or-cycle)
             ("<tab>" . company-complete-common-or-cycle)
             ("S-TAB" . company-complete-common-or-cycle-backward)
             ("<backtab>" . company-complete-common-or-cycle-backward)
             ("C-n" . company-select-next)
             ("C-p" . company-select-previous)
             ("C-/" . company-search-candidates)
             ("C-M-/" . company-filter-candidates)
             ("C-d" . company-show-doc-buffer)
      :hook ((minibuffer-setup . company-mode)
             (minibuffer-setup .
              (lambda () (setq-local company-frontends
             (after-init . global-company-mode))
      (advice-add 'completion-at-point
                  :override 'company-complete-common-or-cycle)
    (use-package readline-complete
      :commands company-readline
      :hook (shell-mode . (lambda ()
        (setq-local company-backends '(company-readline)))))
    (use-package company-irony
      :commands company-irony
      :hook (irony-mode . (lambda ()
        (setq-local company-backends '(company-irony)))))
    (use-package company-restclient
      :commands company-restclient
      :hook (restclient-mode . (lambda ()
        (setq-local company-backends '(company-restclient)))))
    (use-package company-anaconda
      :commands company-anaconda
      :hook (anaconda-mode . (lambda ()
        (setq-local company-backends '(company-anaconda
                                       :with company-capf)))))
    (use-package company-jedi
      :commands company-jedi
      :hook (python-mode . (lambda ()
        (setq-local company-backends '(company-jedi)))))
    (use-package company-tern
      :commands company-tern
      :hook (tern-mode . (lambda ()
        (setq-local company-backends '(company-tern)))))
    (use-package company-ghc
      :commands company-ghc
      :hook (haskell-mode . (lambda ()
        (setq-local company-backends '(company-ghc)))))
    (use-package company-auctex
      :commands (company-auctex company-auctext-labels
      :hook (tex-mode . (lambda ()
                           (setq-local company-backends nil)
                           (add-to-list 'company-backends
                           (add-to-list 'company-backends
                           (add-to-list 'company-backends
    (use-package company-web
      (autoload 'company-web-html "company-web-html")
      (autoload 'company-web-jade "company-web-jade")
      (autoload 'company-web-slim "company-web-slim")
      :hook ((web-mode . (lambda ()
        (setq-local company-backends nil)
        (add-to-list 'company-backends 'company-web-html)
        (add-to-list 'company-backends 'company-web-jade)
        (add-to-list 'company-backends 'company-web-slim)))))
    (use-package company-math
      (autoload 'company-math-symbols-latex "company-math")
      (autoload 'company-latex-commands "company-math")
      :hook (TeX-mode . (lambda ()
        (setq-local company-backends '(company-math-symbols-latex
    (use-package company-coq
      :hook (coq-mode . company-coq-mode))
  • Counsel


    Counsel provides a better selection experience to the default Emacs.

    Counsel is only enabled on non-Windows systems. This is due to an issue in counsel-find-file, see for more info.

    (use-package counsel
      :commands (counsel-mode counsel-descbinds
      ;; counsel doesn’t work well with windows drives
      ;; see
      ;; :if (not (string= system-type "windows-nt"))
      :bind* (([remap execute-extended-command] . counsel-M-x)
              ([remap find-library] . counsel-find-library)
              ([remap describe-bindings]    .
              ([remap describe-face]  .
              ([remap list-faces-display] . counsel-faces)
              ([remap imenu] . counsel-imenu)
              ([remap load-library] . counsel-load-library)
              ([remap load-theme] . counsel-load-theme)
              ([remap yank-pop] . counsel-yank-pop)
              ([remap info-lookup-symbol] .
              ([remap pop-to-mark-command] .
              ([remap bookmark-jump] . counsel-bookmark)
              ("C-c j" . counsel-git-grep)
              ("C-x l" . counsel-locate)
              ("M-y" . counsel-yank-pop)
              ("C-c i 8" . counsel-unicode-char)
              ("C-x M-f" . counsel-find-file)
              :map help-map
              ("C-v" . counsel-find-symbol)
              ("C-k" . counsel-find-function-on-key)
              ("C-l" . counsel-find-library)
    • ivy
      (use-package ivy
        :bind (([remap list-buffers] . ivy-switch-buffer)
               ([remap switch-to-buffer] . ivy-switch-buffer)
               ([remap switch-to-buffer-other-window] .
               :package ivy
               :map ivy-minibuffer-map
               ("<escape>" . abort-recursive-edit))
        (defvar projectile-completion-system)
        (defvar magit-completing-read-function)
        (defvar projector-completion-system)
        (setq projectile-completion-system 'ivy
              magit-completing-read-function 'ivy-completing-read)
        :commands (ivy-completing-read ivy-completion-in-region))
  • diff-hl


    This mode provides indicators at the right fringe of the Emacs buffer. These indications show where a file has been edited from the last Git commit.

    (use-package diff-hl
      :bind (:package diff-hl
             :map diff-hl-mode-map
             ("<left-fringe> <mouse-1>" . diff-hl-diff-goto-hunk))
      :hook ((prog-mode . diff-hl-mode)
             (vc-dir-mode . diff-hl-mode)
             (dired-mode . diff-hl-dir-mode)
             (magit-post-refresh . diff-hl-magit-post-refresh)
             (org-mode . diff-hl-mode)))
  • dtrt-indent


    This mode will try to

    (use-package dtrt-indent
      :hook (prog-mode . dtrt-indent-mode))
  • Emacs shell

    Emacs shell provides . Run eshell by typing C-c e or M-x eshell.

    (use-package eshell
      :ensure nil
      :bind (("C-c M-t" . eshell)
             ("C-c x" . eshell)
             ("C-c e" . eshell))
      :hook ((eshell-mode . eshell-read-history))
      (defun pcomplete/sudo ()
        (let ((prec (pcomplete-arg 'last -1)))
      (cond ((string= "sudo" prec)
        (while (pcomplete-here*
          (funcall pcomplete-command-completion-function)
          (pcomplete-arg 'last) t))))))
      (use-package em-rebind
        :ensure nil
        ;; TODO move this back to customize
        (setq eshell-rebind-keys-alist
              '(([(control 97)] . eshell-bol)
                ([home] . eshell-bol)
                ([(control 100)] . eshell-delchar-or-maybe-eof)
                ([backspace] . eshell-delete-backward-char)
                ([delete] . eshell-delete-backward-char)
                ([(control 119)] . backward-kill-word)
                ([(control 117)] . eshell-kill-input)
                ([tab] . completion-at-point)
                ([(control 101)] . (lambda ()
                  (interactive) (end-of-line)))))
        ;; TODO move this back to customize
        (setq eshell-modules-list
    • esh-help
      (use-package esh-help
        :hook (eshell-mode .
          (lambda ()
              (autoload 'esh-help-eldoc-command "esh-help")
              (setq-local eldoc-documentation-function
    • em-dired
      (autoload 'em-dired-new "em-dired")
      (use-package em-dired
        :ensure nil
        :bind (:package dired
                        :map dired-mode-map
                        ("e" . em-dired))
        :hook (eshell-mode . em-dired-mode)
        (advice-add 'eshell :before 'em-dired-new))
  • ESUP


    emacs-init-time gives good readings for Emacs startup time. Currently my emacs-init-time is 4.5 seconds. It fluctuates based on what’s been enabled but I aim to never let it go above 5. This is good but it includes some things we don’t have control over (window system & Emacs C internals).

    ESUP provides good info on what is taking a long time during startup. ESUP is a startup profiler for Emacs. I’ve provided “startup-profile” so that you can just profile what is in “default.el” (this script) & not any other miscellaneous scripts you have around. This will be part of our effort to get quick startup times. Slowdowns happen for various reasons but right now autorevert, apropospriate, & flycheck are the biggest offenders.

    (use-package esup
      :commands esup
      (defun startup-profile ()
        (esup (locate-library "default"))))
  • Flycheck


    Flycheck will annotate code with errors from the compiler or interpreter. It supports many languages and give us a lot of features right out of the box.

    (use-package flycheck
      :hook (prog-mode . flycheck-mode))
  • github-clone
    (use-package github-clone
      :if (locate-file "git" exec-path)
      :bind ("C-c g c" . github-clone))
  • Gnus


    Gnus is an infamous email client & news reader.

    (use-package gnus
      :ensure nil
      :commands gnus
      :hook ((dired-mode . turn-on-gnus-dired-mode)))
  • God Mode


    God Mode makes it easier to type Emacs shortcuts involving lots of modifier keys. Activate it by pressing Escape (Notice “God” at the bottom of the screen). You no longer have to press & hold the control key!

    Note that god-mode overwrites escape key. This can cause some issues for certain Emacs keybinds.

      (use-package god-mode
        :bind (("<escape>" . god-local-mode)
    ;;           ("ESC" . god-local-mode)
  • helpful
    (use-package helpful
      :if (>= emacs-major-version 25)
      :bind (([remap describe-function] . helpful-callable)
             ([remap describe-variable] . helpful-variable)
             ([remap describe-key] . helpful-key))
             ("H-h" . helpful-at-point))
  • Hippie Expand

    Hippie provides dynamic expansions. Try it out by pressing M-/.

    (use-package hippie-exp
      :ensure nil
      :bind* (("M-/" . hippie-expand)
              ("s-?" . hippie-expand-line))
      :hook ((emacs-lisp-mode ielm-mode) .
             (lambda ()
                (append '(try-complete-lisp-symbol-partially
  • Magit


    Magit is a Git porcelain for Emacs. All of the features from the Git command line are available in an intuitive Emacs buffer.

    (use-package git-commit
      :hook ((git-commit-mode . flyspell-mode)
             (git-commit-mode . git-commit-save-message)
             (git-commit-mode . turn-on-auto-fill)))
    (use-package magit
      (autoload 'magit-toplevel "magit")
      (autoload 'magit-read-string-ns "magit")
      (autoload 'magit-get "magit")
      (autoload 'magit-define-popup-action "magit")
      (autoload 'magit-remote-arguments "magit")
      (defun magit-dired-other-window ()
        (dired-other-window (magit-toplevel)))
      (defun magit-remote-github (username &optional args)
        (interactive (list (magit-read-string-ns "User name")
        (let* ((url (magit-get "remote.origin.url"))
               (match (string-match
          (unless match
            (error "Not a github remote"))
          (let ((repo (match-string 1 url)))
            (apply 'magit-remote-add username
                   (format ""
                           username repo) args))))
      :hook (magit-mode . (lambda ()
                              "Add remote from github user name"
      :commands magit-clone
      :if (locate-file "git" exec-path)
      :bind (("C-x g" . magit-status)
             ("C-x G" . magit-dispatch-popup)
             :package magit
             :map magit-mode-map
             ("C-o" . magit-dired-other-window)))
    • magithub
      (use-package magithub
        :after magit
        (magithub-feature-autoinject t)
        (setq magithub-clone-default-directory "~/github"))
  • MMM Mode


    MMM mode lets you edit multiple languages within one buffer.

    (use-package mmm-mode
      :commands mmm-mode
      (use-package mmm-auto
        :ensure nil))
  • multiple-cursors


    Multiple cursors give you more cursors. It is bound to C-> & C-<.

    (use-package multiple-cursors
      (("<C-S-down>" . mc/mark-next-like-this)
       ("<C-S-up>" . mc/mark-previous-like-this)
       ("C->" . mc/mark-next-like-this)
       ("C-<" . mc/mark-previous-like-this)
       ("M-<mouse-1>" . mc/add-cursor-on-click)
       ("C-c C-<"       . mc/mark-all-like-this)
       ("C-!"           . mc/mark-next-symbol-like-this)
       ("C-S-c C-S-c" . mc/edit-lines)))
  • notmuch
    (use-package notmuch
      :bind (("s-m" . notmuch)
             ("H-m" . notmuch)))
  • Org


    Org mode is an impressive suite of text editing solutions. It gives you an outliner but also much much more.

    (use-package org
      :ensure org-plus-contrib
      :hook ((message-mode . turn-on-orgstruct++)
             (org-mode . (lambda ()
               (add-hook 'completion-at-point-functions
                         nil t)))
             (org-mode . auto-fill-mode)
             (org-mode . (lambda () (setq-local scroll-margin 3)))
             (message-mode . turn-on-orgtbl)
             (org-mode . (lambda ()
               (autoload 'org-eldoc-documentation-function "esh-help")
               (setq-local eldoc-documentation-function
      :bind* (("C-c c" . org-capture)
              ("C-c a" . org-agenda)
              ("C-c l" . org-store-link)
              ("C-c b" . org-iswitchb))
      (use-package ob-dot
        :ensure nil
      (use-package ox-latex
        :ensure nil
      (use-package ox-beamer
        :ensure nil
      (use-package ox-md
        :ensure nil
    (use-package org-download
      :hook (dired-mode . org-download-enable))
  • Projectile


    Setup projectile & link it with some other packages. This also adds an easymenu to make the “Projectile” modeline clickable.

    (use-package projectile
      :commands projectile-mode
      :bind-keymap* (("C-c p" . projectile-command-map)
                     ("s-p" . projectile-command-map))
      :bind (("C-c C-f" . projectile-find-file))
      (autoload 'projectile-project-vcs "projectile")
      (autoload 'projectile-project-root "projectile")
      (autoload 'easy-menu-define "easymenu" "" nil 'macro)
  • smart-hungry-delete


    Smart hungry delete automatically delete lots of whitespace in a row.

    (use-package smart-hungry-delete
      :if (>= emacs-major-version 25)
      :bind (:map prog-mode-map
             ("<backspace>" .
             ("C-d" .
      :hook ((prog-mode .
             (c-mode-common .
             (python-mode .
             (text-mode .
  • Smartparens


    Smartparens is helpful in closing parenthesis when editing Lisp code.

    (use-package smartparens
      (autoload 'sp-with-modes "smartparens" "" nil 'macro)
      (autoload 'sp-local-pair "smartparens")
      (autoload 'sp-local-tag  "smartparens")
      :hook (((emacs-lisp-mode
               eval-expression-minibuffer-setup) .
               org-mode) . show-smartparens-mode)
               html-mode) . smartparens-mode)
             (smartparens-mode . sp-use-paredit-bindings))
      (use-package smartparens-config
        :ensure nil
      (sp-with-modes 'org-mode
        (sp-local-pair "*" "*"
          :actions '(insert wrap)
          :unless '(sp-point-after-word-p sp-point-at-bol-p)
          :wrap "C-*" :skip-match 'sp--org-skip-asterisk)
        (sp-local-pair "_" "_" :unless '(sp-point-after-word-p)
                               :wrap "C-_")
        (sp-local-pair "/" "/" :unless '(sp-point-after-word-p)
                       :post-handlers '(("[d1]" "SPC")))
        (sp-local-pair "~" "~" :unless '(sp-point-after-word-p)
                       :post-handlers '(("[d1]" "SPC")))
        (sp-local-pair "=" "=" :unless '(sp-point-after-word-p)
                       :post-handlers '(("[d1]" "SPC")))
        (sp-local-pair "«" "»"))
      (sp-with-modes '(java-mode c++-mode)
        (sp-local-pair "{" nil
                       :post-handlers '(("||\n[i]" "RET")))
        (sp-local-pair "/*" "*/"
                       :post-handlers '((" | " "SPC")
                                        ("* ||\n[i]" "RET"))))
      (sp-with-modes '(markdown-mode gfm-mode rst-mode)
        (sp-local-pair "*" "*" :bind "C-*")
        (sp-local-tag "2" "**" "**")
        (sp-local-tag "s" "```scheme" "```")
        (sp-local-tag "<"    "<_>" "</_>"
                      :transform 'sp-match-sgml-tags))
      (sp-local-pair 'emacs-lisp-mode "`" nil
                     :when '(sp-in-string-p))
      (sp-local-pair 'clojure-mode "`" "`"
                     :when '(sp-in-string-p))
      (sp-local-pair 'minibuffer-inactive-mode "'" nil
                     :actions nil)
      (sp-with-modes 'nix-mode
        (sp-local-pair "'" "'"
                       :unless '(sp-in-comment-p
        (sp-local-pair "\"" "\"")
        (sp-local-pair "''" "''"
                       :unless '(sp-in-comment-p
  • sudo-edit


    Sudo-edit lets you open a file using sudo (it actually goes through TRAMP to achieve this).

    (use-package sudo-edit
      :bind (("C-c C-r" . sudo-edit)))
  • try


    (use-package try
      :commands try)
  • which-key

    Which-key will tell you what key bindings are available give a prefix. Test it out by pressing C-x & waiting a few seconds. Each key listed is bound to a function.

    (use-package which-key
      :defer 2
      :commands which-key-mode
      :config (which-key-mode))


These are available automatically, so these use-package blocks just configure them.

  • ansi-color

    Get color/ansi codes in compilation mode.

    (use-package ansi-color
      :ensure nil
      :hook (compilation-filter . colorize-compilation-buffer)
      (autoload 'ansi-color-apply-on-region "ansi-color")
      (defun colorize-compilation-buffer ()
        (let ((inhibit-read-only t))
          (ansi-color-apply-on-region (point-min) (point-max)))))
  • autorevert
    (use-package autorevert
      :ensure nil
      :commands global-auto-revert-mode
      :config (global-auto-revert-mode t))
  • bug-reference
    (use-package bug-reference
      :ensure nil
      :hook ((prog-mode . bug-reference-prog-mode)
             (text-mode . bug-reference-mode)))
    • bug-reference-github
      (use-package bug-reference-github
        :commands bug-reference-github-set-url-format
        (defun bug-reference-github-projectile ()
          (when (and projectile-mode
                     (eq (projectile-project-vcs
        (projectile-mode . bug-reference-github-projectile))
  • comint
    (use-package comint
      :ensure nil
      (autoload 'comint-write-input-ring "comint")
      (autoload 'comint-read-input-ring "comint")
      (defun turn-on-comint-history (history-file)
        (setq comint-input-ring-file-name history-file)
        (comint-read-input-ring 'silent))
      (defun save-history ()
        (dolist (buffer (buffer-list))
          (with-current-buffer buffer
  • compile
    (use-package compile
      :ensure nil
      :bind (("C-c C-c" . compile)
             :map compilation-mode-map
             ("o" . compile-goto-error))
      (autoload 'ansi-color-process-output "ansi-color")
      (defun show-compilation ()
        (let ((compile-buf
               (catch 'found
                 (dolist (buf (buffer-list))
                   (if (string-match "\\*compilation\\*"
                                     (buffer-name buf))
                       (throw 'found buf))))))
          (if compile-buf
              (switch-to-buffer-other-window compile-buf)
            (call-interactively 'compile))))
      (defun compilation-ansi-color-process-output ()
        (ansi-color-process-output nil)
        (set (make-local-variable 'comint-last-output-start)
      :hook (compilation-filter .
  • delsel
    (use-package delsel
      :ensure nil
      :commands delete-selection-mode
      :config (delete-selection-mode t))
  • dired
    (use-package dired
      :ensure nil
      (autoload 'dired-get-filename "dired")
      (autoload 'term-set-escape-char "term")
      (defun dired-run-command (&optional filename)
        "Run file at point in a new buffer."
        (unless filename
          (setq filename (expand-file-name
                          (dired-get-filename t t)
        (let ((buffer (make-term
                        (file-name-nondirectory filename)
              (buffer-read-only nil))
          (with-current-buffer buffer
            ;; (term-mode)
            (term-set-escape-char ?\C-x))
            (get-buffer-process buffer)
            (lambda (proc event)
               (when (not (process-live-p proc))
                 (kill-buffer (process-buffer proc)))))
          (switch-to-buffer buffer)))
      :bind (("C-c J" . dired-double-jump)
             :package dired
             :map dired-mode-map
             ("C-c C-c" . compile)
             ("r" . term)
             ("M-@" . shell)
             ("M-*" . eshell)
             ("W" . browse-url-of-dired-file)
             ("@" . dired-run-command)))
    • dired-column
      (use-package dired-column
        :ensure nil
        :bind (:package dired
                        :map dired-mode-map
                        ("o" . dired-column-find-file)))
    • dired-subtree
      (use-package dired-subtree
        :bind (:package dired
                        :map dired-mode-map
                        ("<tab>" . dired-subtree-toggle)
                        ("TAB" . dired-subtree-toggle)
                        ("<backtab>" . dired-subtree-cycle)))
    • dired-x
      (use-package dired-x
        :ensure nil
        :hook ((dired-mode . dired-omit-mode)
               (dired-mode . dired-hide-details-mode))
        :bind (("s-\\" . dired-jump-other-window)
               :package dired
               :map dired-mode-map
               (")" . dired-omit-mode)))
  • eldoc

    Provides some info for the thing at the point.

    (use-package eldoc
      :ensure nil
      :hook ((emacs-lisp-mode . eldoc-mode)
             (eval-expression-minibuffer-setup . eldoc-mode)
             (lisp-mode-interactive-mode . eldoc-mode)
             (typescript-mode . eldoc-mode)
             (haskell-mode . eldoc-mode)
             (python-mode . eldoc-mode)
             (eshell-mode . eldoc-mode)
             (org-mode . eldoc-mode)))
  • electric

    Setup these modes:

    • electric-quote
    • electric-indent
    • electric-layout
    (use-package electric
      :ensure nil
      :if (>= emacs-major-version 25)
      :hook ((prog-mode . electric-quote-local-mode)
             (text-mode . electric-quote-local-mode)
             (org-mode . electric-quote-local-mode)
             (message-mode . electric-quote-local-mode)
             (prog-mode . electric-indent-local-mode)
             (prog-mode . electric-layout-mode)))
    • elec-pair

      Setup electric-pair-mode for prog-modes. Also disable it when smartparens is setup.

      (use-package elec-pair
        :ensure nil
        :if (>= emacs-major-version 25)
         ((prog-mode . electric-pair-local-mode)
          (smartparens-mode . (lambda ()
            (electric-pair-local-mode -1)))))
  • eww
    (use-package eww
      :ensure nil
      :if (and (not window-system)
               (not (string-equal
                      (getenv "TERM_PROGRAM")
      :commands eww-browse-url
      (setq browse-url-browser-function 'eww-browse-url))
  • executable
    (use-package executable
      :ensure nil
      ((after-save .
  • ffap
    (use-package ffap
      :bind (("C-x C-f" . find-file-at-point)
             ("C-x C-r" . ffap-read-only)
             ("C-x C-v" . ffap-alternate-file)
             ("C-x 4 f" . ffap-other-window)
             ("C-x 5 f" . ffap-other-frame)
             ("C-x 4 r" . ffap-read-only-other-window)
             ("C-x 5 r" . ffap-read-only-other-frame)
             ("C-x d"  . dired-at-point)
             ("C-x 4 d" . ffap-dired-other-window)
             ("C-x 5 d" . ffap-dired-other-frame)
             ("C-x C-d" . ffap-list-directory))
      :hook ((gnus-summary-mode . ffap-gnus-hook)
             (gnus-article-mode . ffap-gnus-hook)
             (vm-mode . ffap-ro-mode-hook)
             (rmail-mode . ffap-ro-mode-hook))
      :ensure nil)
  • files
    (use-package files
      :ensure nil
      (defun find-file--line-number (orig-fun filename
                                     &optional wildcards)
          (let* ((matched (string-match
                 (line-number (and matched
                                (match-string 2 filename)
                                  (match-string 2 filename))))
                 (filename (if matched
                               (match-string 1 filename)
            (apply orig-fun (list filename wildcards))
            (when line-number
              ;; goto-line is for interactive use
              (goto-char (point-min))
              (forward-line (1- line-number))))))
      (advice-add 'find-file
                  :around #'find-file--line-number))
  • flyspell
    (use-package flyspell
      :ensure nil
      :if (locate-file
           (if (boundp 'ispell-program-name)
               ispell-program-name "ispell")
      :hook ((text-mode . flyspell-mode)
             (prog-mode . flyspell-prog-mode))
      :bind (:map flyspell-mode-map
                  ("C-M-i" . nil)))
  • goto-addr
    (use-package goto-addr
      :ensure nil
      :hook ((prog-mode . goto-address-prog-mode)
             (git-commit-mode . goto-address-mode)
             (shell-mode . goto-address-mode)))
  • hl-line
    (use-package hl-line
      :ensure nil
      :hook ((prog-mode . hl-line-mode)
             (org-mode . hl-line-mode)
             (dired-mode . hl-line-mode)))
  • paren
    (use-package paren
      :ensure nil
      :hook ((prog-mode . show-paren-mode)
             (prog-mode . (lambda () (show-paren-mode -1)))))
  • pp
    (use-package pp
      :ensure nil
      :commands pp-eval-last-sexp
      :bind (([remap eval-expression] . pp-eval-expression))
      ;; :init
      ;;(global-unset-key (kbd "C-x C-e"))
      :hook ((lisp-mode emacs-lisp-mode) . always-eval-sexp)
      (defun always-eval-sexp ()
        (define-key (current-local-map)
                    (kbd "C-x C-e")
  • prog-mode
    (use-package prog-mode
      :ensure nil
      :hook ((prog-mode . prettify-symbols-mode)
             (lisp-mode . prettify-symbols-lisp)
             (c-mode . prettify-symbols-c)
             (c++-mode . prettify-symbols-c++)
             ((js-mode js2-mode) . prettify-symbols-js)
             (prog-mode . (lambda ()
               (setq-local scroll-margin 3))))
      (defun prettify-symbols-prog ()
        (push '("<=" . ?≤) prettify-symbols-alist)
        (push '(">=" . ?≥) prettify-symbols-alist))
      (defun prettify-symbols-lisp ()
        (push '("/=" . ?≠) prettify-symbols-alist)
        (push '("sqrt" . ?√) prettify-symbols-alist)
        (push '("not" . ?¬) prettify-symbols-alist)
        (push '("and" . ?∧) prettify-symbols-alist)
        (push '("or" . ?∨) prettify-symbols-alist))
      (defun prettify-symbols-c ()
        (push '("<=" . ?≤) prettify-symbols-alist)
        (push '(">=" . ?≥) prettify-symbols-alist)
        (push '("!=" . ?≠) prettify-symbols-alist)
        (push '("&&" . ?∧) prettify-symbols-alist)
        (push '("||" . ?∨) prettify-symbols-alist)
        (push '(">>" . ?») prettify-symbols-alist)
        (push '("<<" . ?«) prettify-symbols-alist))
      (defun prettify-symbols-c++ ()
        (push '("<=" . ?≤) prettify-symbols-alist)
        (push '(">=" . ?≥) prettify-symbols-alist)
        (push '("!=" . ?≠) prettify-symbols-alist)
        (push '("&&" . ?∧) prettify-symbols-alist)
        (push '("||" . ?∨) prettify-symbols-alist)
        (push '(">>" . ?») prettify-symbols-alist)
        (push '("<<" . ?«) prettify-symbols-alist)
        (push '("->" . ?→) prettify-symbols-alist))
      (defun prettify-symbols-js ()
        (push '("function" . ?λ) prettify-symbols-alist)
        (push '("=>" . ?⇒) prettify-symbols-alist)))
  • savehist-mode
    (use-package savehist
      :ensure nil
      :hook (after-init . savehist-mode))
  • saveplace-mode
    (use-package saveplace
      :ensure nil
      :if (>= emacs-major-version 25)
      :hook (after-init . save-place-mode))
  • Shell
    (use-package shell
       :ensure nil
       :bind (("C-c C-s" . shell)
              ("H-s" . shell))
       :hook ((shell-mode . ansi-color-for-comint-mode-on)
              (shell-mode . dirtrack-mode)
              (shell-mode . pcomplete-shell-setup)
              ;; (shell-mode . use-histfile)
       (defun use-histfile ()
         (turn-on-comint-history (getenv "HISTFILE"))))
  • simple
    (use-package simple
       :ensure nil
       :commands (column-number-mode auto-fill-mode)
       (("C-`" . list-processes)
        :map minibuffer-local-map
        ("<escape>"  . abort-recursive-edit)
        ("M-TAB"     . previous-complete-history-element)
        ("<M-S-tab>" . next-complete-history-element))
       :hook ((text-mode . visual-line-mode))
       :config (column-number-mode))
  • subword
    (use-package subword
      :ensure nil
      :hook ((java-mode . subword-mode)))
  • term
    (use-package term
      :ensure nil
      :commands (term-mode term-char-mode)
      :hook ((term-mode .
               (lambda ()
                 (setq term-prompt-regexp
                       "^[^#$%>\n]*[#$%>] *")
                 (setq-local transient-mark-mode nil)
                 (auto-fill-mode -1))))
      (autoload 'tramp-tramp-file-p "tramp")
      (autoload 'tramp-dissect-file-name "tramp"))
    (use-package tramp-term
      :commands tramp-term)
  • text-mode
    (use-package text-mode
      :ensure nil
      :hook ((text-mode . turn-on-auto-fill)))
  • time
    (use-package time
      :ensure nil
      :config (display-time-mode))
  • url-handlers
    (use-package url-handlers
      :ensure nil
      :commands url-handler-mode
      :config (url-handler-mode))
  • which-func
    (use-package which-func
      :ensure nil
      :config (which-function-mode))
  • whitespace
    (use-package whitespace
      :ensure nil
      :hook (prog-mode . whitespace-mode))

Programming languages

Each use-package declaration corresponds to major modes in Emacs lingo. Each language will at least one of these major modes as well as associated packages (for completion, syntax checking, etc.)

  • C/C++
    (use-package cc-mode
      :ensure nil
      :mode (("\\.h\\(h?\\|xx\\|pp\\)\\'" . c++-mode)
             ("\\.m\\'" . c-mode)
             ("\\.c\\'" . c-mode)
             ("\\.cpp\\'" . c++-mode)
             ("\\.c++\\'" . c++-mode)
             ("\\.mm\\'" . c++-mode)))
    • Irony
      (use-package irony
        (autoload 'file-remote-p "files")
        (defun irony-mode-disable-remote ()
          "Disabled irony in remote buffers."
          (when (and buffer-file-name
                     (file-remote-p buffer-file-name))
            (irony-mode -1)))
        :hook (((c++-mode c-mode objc-mode) .
               ((c++-mode c-mode objc-mode) . irony-mode)))
      (use-package irony-cdb
        :ensure nil
        :hook (irony-mode . irony-cdb-autosetup-compile-options))
      • flycheck-irony
        (use-package flycheck-irony
          :hook (flycheck-mode . flycheck-irony-setup))
      • irony-eldoc
        (use-package irony-eldoc
          :hook (irony-mode . irony-eldoc))
  • CoffeeScript
    (use-package coffee-mode
      :mode (("\\.coffee\\'" . coffee-mode)))
  • CSS
    (use-package css-mode
      :ensure nil
      :mode "\\.css\\'")
  • CSV
    (use-package csv-mode
      :mode "\\.csv\\'")
  • ELF
    (use-package elf-mode
      :magic ("ELF" . elf-mode))
  • Emacs speaks statistics


    (use-package ess-site
      :ensure ess
      :interpreter (("Rscript" . r-mode)
                    ("r" . r-mode))
      :mode (("\\.sp\\'"            . S-mode)
             ("/R/.*\\.q\\'"        . R-mode)
             ("\\.[qsS]\\'" . S-mode)
             ("\\.ssc\\'"           . S-mode)
             ("\\.SSC\\'"           . S-mode)
             ("\\.[rR]\\'"  . R-mode)
             ("\\.[rR]nw\\'"        . Rnw-mode)
             ("\\.[sS]nw\\'"        . Snw-mode)
             ("\\.[rR]profile\\'" . R-mode)
             ("NAMESPACE\\'"        . R-mode)
             ("CITATION\\'" . R-mode)
             ("\\.omg\\'"           . omegahat-mode)
             ("\\.hat\\'"           . omegahat-mode)
             ("\\.lsp\\'"           . XLS-mode)
             ("\\.do\\'"            . STA-mode)
             ("\\.ado\\'"           . STA-mode)
             ("\\.[Ss][Aa][Ss]\\'"  . SAS-mode)
             ("\\.[Ss]t\\'" . S-transcript-mode)
             ("\\.Sout"             . S-transcript-mode)
             ("\\.[Rr]out"  . R-transcript-mode)
             ("\\.Rd\\'"            . Rd-mode)
             ("\\.[Bb][Uu][Gg]\\'"   . ess-bugs-mode)
             ("\\.[Bb][Oo][Gg]\\'"   . ess-bugs-mode)
             ("\\.[Bb][Mm][Dd]\\'"   . ess-bugs-mode)
             ("\\.[Jj][Aa][Gg]\\'"   . ess-jags-mode)
             ("\\.[Jj][Oo][Gg]\\'"   . ess-jags-mode)
             ("\\.[Jj][Mm][Dd]\\'"   . ess-jags-mode)
  • Go
    (use-package go-mode
      :mode "\\.go\\'")
  • HAML
    (use-package haml-mode
      :mode "\\.haml\\'")
  • Haskell
    • ghc

      Note: this needs ghc-mod to be in PATH to work properly.

      (use-package ghc
        :if (locate-file "ghc-mod" exec-path)
        :hook ((haskell-mode . ghc-init)
               (haskell-mode . ghc-comp-init)))
    • haskell-mode
      (load "haskell-mode-autoloads" t t)
      (use-package haskell
        :ensure haskell-mode
        :mode (("\\.hs\\'" . haskell-mode)
               ("\\.cabal\\'" . haskell-cabal-mode))
        :hook ((haskell-mode . subword-mode)
               (haskell-mode . flyspell-prog-mode)
               (haskell-mode . haskell-indentation-mode)
               (haskell-mode . imenu-add-menubar-index)
               (haskell-mode .
               (lambda ()
                   (autoload 'haskell-doc-current-info
                   (setq-local eldoc-documentation-function
        (add-to-list 'completion-ignored-extensions ".hi"))
    • haskell-interactive-mode
      (use-package haskell-interactive-mode
        :ensure nil
        :hook (haskell-mode . interactive-haskell-mode))
  • Java
    • jdee
      (use-package jdee
        :mode ("\\.java\\'" . jdee-mode)
        :bind (:package jdee
               :map jdee-mode-map
               ("<s-mouse-1>" . jdee-open-class-at-event)))
  • JavaScript
    • indium
      (use-package indium
        :if (>= emacs-major-version 25)
        :mode ("\\.js\\'" . indium-mode))
    • js2-mode
      (use-package js2-mode
        :mode (("\\.js\\'" . js2-mode)
               ("\\.es6\\'" . js2-mode)
               ("\\.ejs\\'" . js2-mode))
        :interpreter "node")
      (use-package js2-imenu-extras
        :ensure nil
        :hook (js2-mode . js2-imenu-extras-mode))
    • tern
      (use-package tern
        :hook (js2-mode . tern-mode))
  • JSON
    (use-package json-mode
      :mode (("\\.bowerrc$"     . json-mode)
             ("\\.jshintrc$"    . json-mode)
             ("\\.json_schema$" . json-mode)
             ("\\.json\\'" . json-mode))
      :bind (:package json-mode-map
             :map json-mode-map
             ("C-c <tab>" . json-mode-beautify))
      (make-local-variable 'js-indent-level))
  • LaTeX
    • auctex

      Auctex provides some helpful tools for working with LaTeX.

      (use-package tex-site
        :ensure auctex
        :mode ("\\.tex\\'" . TeX-latex-mode))
      (use-package tex-mode
        :ensure nil
        :hook (TeX-mode . latex-electric-env-pair-mode))
  • Lisp
    (use-package elisp-mode
      :ensure nil
      :interpreter (("emacs" . emacs-lisp-mode)))
    • ielm
      (use-package ielm
        :ensure nil
        :bind ("C-c :" . ielm))
  • Mach-O
    (use-package macho-mode
      :ensure nil
      :magic (("\xFE\xED\xFA\xCE" . macho-mode)
              ("\xFE\xED\xFA\xCF" . macho-mode)
              ("\xCE\xFA\xED\xFE" . macho-mode)
              ("\xCF\xFA\xED\xFE" . macho-mode)))
  • Markdown
    • markdown-mode
      (use-package markdown-mode
        :mode (("README\\.md\\'" . gfm-mode)
               ("\\.md\\'"       . markdown-mode)
               ("\\.markdown\\'" . gfm-mode)))
  • git-modes
    (use-package gitattributes-mode
      :mode (("/\\.gitattributes\\'"  . gitattributes-mode)
             ("/info/attributes\\'"   . gitattributes-mode)
             ("/git/attributes\\'"    . gitattributes-mode)))
    (use-package gitconfig-mode
      :mode (("/\\.gitconfig\\'"      . gitconfig-mode)
             ("/\\.git/config\\'"     . gitconfig-mode)
             ("/modules/.*/config\\'" . gitconfig-mode)
             ("/git/config\\'"        . gitconfig-mode)
             ("/\\.gitmodules\\'"     . gitconfig-mode)
             ("/etc/gitconfig\\'"     . gitconfig-mode)))
    (use-package gitignore-mode
      :mode (("/\\.gitignore\\'"      . gitignore-mode)
             ("/info/exclude\\'"      . gitignore-mode)
             ("/git/ignore\\'"        . gitignore-mode)))
  • restclient
    (use-package restclient
      :mode (("\\.rest\\'" . restclient-mode)
             ("\\.restclient\\'" . restclient-mode)))
  • Nix
    (use-package nix-mode
      :mode "\\.nix\\'")
    (use-package nix-shell
      :ensure nil
      :commands (nix-shell nix-unpack))
    • nix-buffer
      (use-package nix-buffer
        :commands nix-buffer
        (defun turn-on-nix-buffer ()
          (when (and (not noninteractive)
                     (not (eq (aref (buffer-name) 0) ?\s))
                     (not (file-remote-p default-directory)))
        :hook (after-change-major-mode . turn-on-nix-buffer))
    • nix-update
      (use-package nix-update
        :commands nix-update-fetch
        :ensure nil
        :bind (("C-. u" . nix-update-fetch)))
  • mwim


    (use-package mwim
      :bind (([remap move-beginning-of-line]
              . mwim-beginning-of-code-or-line)
             ([remap move-end-of-line]
              . mwim-end-of-code-or-line)))
  • PHP
    (use-package php-mode
      :mode "\\.php\\'")
  • Proof General


    (use-package proof-site
      :ensure proofgeneral
      :if (not needs-package-init))
  • Python
    • Anaconda
      (use-package anaconda-mode
        :hook ((python-mode . anaconda-mode)
               (python-mode . anaconda-eldoc-mode)))
    • python-mode
      (use-package python
        :ensure nil
        :mode ("\\.py\\'" . python-mode)
        :interpreter ("python" . python-mode))
    • jedi
      (use-package jedi
        :hook ((python-mode . jedi:setup))
        (setq jedi:complete-on-dot t))
    • elpy
      (use-package elpy
        :mode ("\\.py\\'" . elpy-mode))
  • Ruby
    (use-package ruby-mode
      :ensure nil
      :mode ("\\.rb\\'" . ruby-mode)
      :interpreter ("ruby" . ruby-mode))
  • Rust
    (use-package rust-mode
      :mode "\\.rs\\'")
  • SASS
    (use-package sass-mode
      :mode "\\.sass\\'")
  • Scala
    (use-package scala-mode
      :interpreter ("scala" . scala-mode))
  • SCSS
    (use-package scss-mode
      :mode "\\.scss\\'")
  • Shell
    (use-package sh-script
      :ensure nil
      :commands shell-command
      :mode (("\\.*shellrc$" . sh-mode)
             ("\\.*shell_profile" . sh-mode)
             ("\\.zsh\\'" . sh-mode)))
  • texinfo
    (use-package texinfo
      :ensure nil
      :mode ("\\.texi\\'" . texinfo-mode))
  • TypeScript
    (use-package typescript-mode
      :mode "\\.ts\\'")
    • tide
      (use-package tide
        :hook ((typescript-mode . tide-setup)
               (typescript-mode . tide-hl-identifier-mode)))
  • Web
    (use-package web-mode
      :mode (("\\.erb\\'" . web-mode)
             ("\\.mustache\\'" . web-mode)
             ("\\.html?\\'" . web-mode)
             ("\\.php\\'" . web-mode)
             ("\\.jsp\\'" . web-mode)
             ("\\.jsx?$" . web-mode)
             ("\\.es6\\'" . web-mode)
             ("\\.ejs\\'" . web-mode)
             ("\\.phtml\\'" . web-mode)
             ("\\.tpl\\.php\\'" . web-mode)
             ("\\.[agj]sp\\'" . web-mode)
             ("\\.as[cp]x\\'" . web-mode)
             ("\\.djhtml\\'" . web-mode)))
  • YAML
    (use-package yaml-mode
      :mode "\\.ya?ml\\'")


These are all available in ./site-lisp. Eventually they should go into separate repositories.

  • dired-column
  • em-dired
  • installer
  • macho-mode
  • nethack
    (use-package nethack
      :commands nethack
      :ensure nil)
  • nix-fontify
  • set-defaults
  • use-package-list


These should correspond to minor modes or helper functions. Some of them are more helpful than others but none are essential.

Most of these are available in MELPA.

  • browse-at-remote
    (use-package browse-at-remote
      :bind ("C-c g g" . browse-at-remote))
  • buffer-move


    (use-package buffer-move
      (("<M-S-up>" . buf-move-up)
       ("<M-S-down>" . buf-move-down)
       ("<M-S-left>" . buf-move-left)
       ("<M-S-right>" . buf-move-right)))
  • copy-as-format
    (use-package copy-as-format
      :bind (("C-c w s" . copy-as-format-slack)
             ("C-c w g" . copy-as-format-github)))
  • crux
    (use-package crux
      :bind (("C-c D" . crux-delete-file-and-buffer)
             ("C-c C-e" . crux-eval-and-replace)
             ("C-c d" . crux-duplicate-current-line-or-region)
             ([shift return] . crux-smart-open-line)))
  • delight
    (use-package delight)
  • dumb-jump
    (use-package dumb-jump
      :if (>= emacs-major-version 25)
      :hook ((prog-mode . dumb-jump-mode)))
  • expand-region
    (use-package dumb-jump
      :hook ((prog-mode . dumb-jump-mode)))
  • git-attr
    (use-package git-attr-linguist
      :ensure git-attr
      :hook ((find-file . git-attr-linguist)))
  • htmlize
    (use-package htmlize :no-require)
  • page-break-lines
    (use-package page-break-lines
      :hook ((doc-mode
              magit-mode) . page-break-lines-mode))
  • pandoc-mode
    (use-package pandoc-mode
      :hook ((markdown-mode . pandoc-mode)
             (pandoc-mode . pandoc-load-default-settings)))
  • rainbow-delimiters
    (use-package rainbow-delimiters
      :hook ((emacs-lisp-mode
              slime-repl-mode) . rainbow-delimiters-mode))
  • rainbow-mode
    (use-package rainbow-mode
      :hook ((emacs-lisp-mode
              css-mode) . rainbow-mode))
  • shrink-whitespace
    (use-package shrink-whitespace
      :bind ("H-SPC" . shrink-whitespace))
  • string-inflection
    (use-package string-inflection
      :bind (("C-c r r" . string-inflection-all-cycle)
             ("C-c r c" . string-inflection-camelcase)
             ("C-c r l" . string-inflection-lower-camelcase)
             ("C-c r u" . string-inflection-underscore)
             ("C-c r k" . string-inflection-kebab-case)
             ("C-c r J" . string-inflection-java-style-cycle)))
  • volatile-highlights
    (use-package volatile-highlights
      :commands volatile-highlights-mode
      :config (volatile-highlights-mode t)
  • with-editor
    (use-package with-editor
      ((shell-mode eshell-mode) . with-editor-export-editor))
  • comment-tags
    (use-package comment-tags
      :hook (prog-mode . comment-tags-mode))
  • unfill
    (use-package unfill
      :bind ([remap fill-paragraph] . unfill-toggle))


All of these files live outside of Emacs but are necessary for a usable developer environment. They are basic shell profile and some git configuration scripts as well.


To use this, you must create a short ~/.profile file. Here is an example,

[ -f $bootstrap ] && source $bootstrap

Run fortune,

if [ -z "$FORTUNE" ]; then
  export FORTUNE=1

Here we setup .profile. First, setup exports.

export LANG=en_US.UTF-8 \
       LC_ALL=en_US.UTF-8 \

Then setup aliases.

alias ls="TERM=ansi ls --color=always" \
      l="ls -lF" \
      ..="cd .." \
      ...="cd ../.." \
      ....="cd ../../.." \
      .....="cd ../../../.." \
      tree='tree -Csuh' \
      grep="grep --color=auto"


if [ "$TERM" = dumb ] && ! [ -z "$INSIDE_EMACS" ]; then
    export TERM=dumb-emacs-ansi \

Define update_terminal_cwd function.

update_terminal_cwd () {
    local SEARCH=' '
    local REPLACE='%20'
    local PWD_URL="file://$HOSTNAME${PWD//$SEARCH/$REPLACE}"
    printf '\e]7;%s\a' "$PWD_URL"


This is a profile for use with Zsh. It is closely based off of oh-my-zsh.

Setup ZSH profile. First, we just source the global profile.

source @out@/etc/profile

Handle dumb options.

case "$TERM" in
        unsetopt zle \
                 prompt_cr \
        if whence -w precmd >/dev/null; then
            unfunction precmd
        if whence -w preexec >/dev/null; then
            unfunction preexec
        PS1='$ '

Load up site-functions in ZSH.


Turn on ZSH-specific options.

setopt always_to_end \
       append_history \
       auto_cd \
       auto_menu \
       auto_name_dirs \
       auto_pushd \
       cdablevarS \
       complete_in_word \
       correct \
       correctall \
       extended_glob \
       extended_history \
       hist_expire_dups_first \
       hist_find_no_dups \
       hist_ignore_dups \
       hist_ignore_space \
       hist_reduce_blanks \
       hist_verify \
       inc_append_history \
       interactive_comments \
       long_list_jobs \
       multios \
       no_beep \
       prompt_subst \
       pushd_ignore_dups \
       pushdminus \
       share_history \
       transient_rprompt \

Setup completions & colors.

autoload -U colors && colors
autoload -U compinit && compinit

Bind to emacs…

bindkey -e

Zstyle completions.

zstyle ':completion:*::::' completer \
       _expand _complete _ignored _approximate
zstyle ':completion:*' menu select=1 \
       _complete _ignored _approximate
zstyle ':completion:*' matcher-list \
       'm:{a-zA-Z-_}={A-Za-z_-}' \
       'r:|=*' 'l:|=* r:|=*'
zstyle ':completion:*' list-colors ''
zstyle ':completion:*' select-prompt \
       '%SScrolling active: current selection at %p%s'
zstyle ':completion:*' \
       ignored-patterns '*~' '_*' '*\\\#*\\\#'
zstyle ':completion:*:scp:*' group-order files \
       all-files users hosts-domain \
       hosts-host hosts-ipaddr
zstyle ':completion:*:ssh:*' group-order hosts-domain \
       hosts-host users hosts-ipaddr
zstyle ':vcs_info:*' enable git
zstyle '*' single-ignored show

Turn on prompt with colors.

PROMPT='%F{blue}%n@%m:%F{cyan}%c%F{yellow} $ %F{reset}'

Setup Apple Terminal so that CWD is shown.

if [ "$TERM_PROGRAM" = Apple_Terminal ] \
   && [ -z "$INSIDE_EMACS" ]; then
    autoload add-zsh-hook
    add-zsh-hook chpwd update_terminal_cwd

This just sources everything in the /etc/profile.d dir. PREFIX can be used to reference the Nix output dir.

export PREFIX=@out@

This will source everything in /etc/profile.d.

if [ -d @out@/etc/profile.d ]; then
  for i in @out@/etc/profile.d/*.sh; do
    if [ -r $i ]; then
      source $i


Some basic gitignore paths.



        editor = emacsclient

        gpgSign = true

        default = simple

        rebase = true

        amend = commit --amend

        autcorrect = 1

        ui = true


This file provides site-specific paths. However, it must be substituted in Nix before we can actually run it in Emacs. To prevent Emacs from trying to run this, I’ve set the syntax to text.

(require 'set-defaults)
(require 'subr-x)

output-directory points to the nix-profile directory created by Nix. Ideally, this could point to a Nix store path, but the order of building means that we don’t know this until too late.

(defvar output-directory
        (expand-file-name ".nix-profile" (getenv "HOME")))
(defvar zsh-command
        (expand-file-name "bin/zsh" output-directory))

Setup exec-path.

(setq exec-path
      (append `("@bins@/bin"
                ,(expand-file-name "bin" output-directory))

Setup man-path.

(defvar man-path `("@manpages@/share/man"
                   ,(expand-file-name "share/man" output-directory)

This will setup cacert-file var,

(defcustom cacert-file "/etc/ssl/certs/ca-bundle.crt"
  "Path for SSL certificates."
  :type 'string
  :group 'environment)

Set env vars provided by Nix,

 `("NIX_REMOTE" "daemon")
 `("PATH" ,(string-join exec-path ":"))
 `("MANPATH" ,(string-join man-path ":"))

Set paths provided by Nix,

(defvar gnutls "gnutls")
(defvar pdf2dsc-command "pdf2dsc")
(defvar dvips-command "dvips")
(defvar dvipng-command "dvipng")
(defvar xetex-command "xetex")
(defvar xelatex-command "xelatex")
(defvar luatex-command "luatex")
(defvar makeinfo-command "makeinfo")
(defvar LaTeX-command "LaTeX")
(defvar pdftex-command "pdftex")
(defvar context-command "context")
(defvar bibtex-command "bibtex")
(defvar makeindex-command "makeindex")
(defvar dvipdfmx-command "dvipdfmx")
(defvar ag-executable "ag")
(defvar ripgrep-executable "ripgrep")
(defvar lacheck-command "lacheck")
(defvar chktex-command "chktex")
(defvar ps2pdf-command "ps2pdf")

 '(company-cmake-executable "@cmake@/bin/cmake")
 '(doc-view-dvipdf-program "@ghostscript@/bin/dvipdf")
 '(cacert-file "@cacert@/etc/ssl/certs/ca-bundle.crt")
 '(calc-gnuplot-name "@gnuplot@/bin/gnuplot")
 '(gnuplot-program "@gnuplot@/bin/gnuplot")
 '(doc-view-ps2pdf-program "@ghostscript@/bin/ps2pdf")
 '(dired-touch-program "@coreutils@/bin/touch")
 '(dired-chmod-program "@coreutils@/bin/chmod")
 '(dired-chown-program "@coreutils@/bin/chown")
 '(dired-free-space-program "@coreutils@/bin/df")
 '(diff-command "@diffutils@/bin/diff")
 '(find-program "@findutils@/bin/find")
 '(epg-gpg-program "@gpg@/bin/gpg")
 '(epg-gpgconf-program "@gpg@/bin/gpgconf")
 '(epg-gpgsm-program "@gpg@/bin/gpgsm")
 '(flycheck-sh-bash-executable "@bash@/bin/bash")
 '(flycheck-sh-zsh-executable "@zsh@/bin/zsh")
 '(flycheck-perl-executable "@perl@/bin/perl")
 ;; '(flycheck-go-golint-executable "@golint@/bin/golint")
 '(flycheck-haskell-hlint-executable "@hlint@/bin/hlint")
 '(flycheck-python-flake8-executable "@flake8@/bin/flake8")
 '(flycheck-asciidoc-executable "@asciidoc@/bin/asciidoc")
 '(flycheck-less-executable "@lessc@/bin/lessc")
 '(flycheck-c/c++-gcc-executable "@gcc@/bin/gcc")
 '(flycheck-javascript-eslint-executable "@eslint@/bin/eslint")
 '(flycheck-javascript-jshint-executable "@jshint@/bin/jshint")
 ;; '(flycheck-go-build-executable "@go@/bin/go")
 ;; '(flycheck-go-test-executable "@go@/bin/go")
 '(flycheck-lua-executable "@lua@/bin/luac")
 '(flycheck-xml-xmllint-executable "@libxml2@/bin/xmllint")
 '(flycheck-html-tidy-executable "@tidy@/bin/tidy")
 '(fortune-dir "@fortune@/share/games/fortunes")
 '(fortune-program "@fortune@/bin/fortune")
 '(fortune-file "@fortune@/share/games/fortunes/debian")
 '(grep-program "@gnugrep@/bin/grep")
 '(haskell-check-command "@hlint@/bin/hlint")
 '(haskell-hoogle-command "@hoogle@/bin/hoogle")
 '(haskell-hasktags-path "@hasktags@/bin/hasktags")
 '(ispell-program-name "@aspell@/bin/aspell")
 '(ispell-grep-command "@gnugrep@/bin/grep")
 '(irony-cmake-executable "@cmake@/bin/cmake")
 '(jka-compr-info-compress-program "@ncompress@/bin/compress")
 '(jka-compr-info-uncompress-program "@ncompress@/bin/uncompress")
 ;; '(irony-server-install-prefix "@irony@")
 '(jka-compr-dd-program "@coreutils@/bin/dd")
 '(magit-git-executable "@git@/bin/git")
 '(markdown-command "@markdown2@/bin/markdown2")
 '(manual-program "@man@/bin/man")
 '(man-awk-command "@gawk@/bin/awk")
 '(man-sed-command "@gnused@/bin/sed")
 '(man-untabify-command "@coreutils@/bin/pr")
 '(nethack-executable "@nethack@/bin/nethack")
 '(org-pandoc-command "@pandoc@/bin/pandoc")
 '(pandoc-binary "@pandoc@/bin/pandoc")
 '(remote-shell-program "@openssh@/bin/ssh")
 '(ripgrep-executable "@ripgrep@/bin/rg")
 '(rtags-path "@rtags@/bin")
 '(sql-ingres-program "@parallel@/bin/sql")
 '(sql-interbase-program "@unixODBC@/bin/isql")
 ;; '(sql-mysql-program "@mariadb@/bin/mysql")
 '(sql-ms-program "@freetds@/bin/osql")
 '(sql-postgres-program "@freetds@/bin/osql")
 '(sql-sqlite-program "@sqliteInteractive@/bin/sqlite3")
 '(tramp-encoding-shell "@bash@/bin/sh")
 '(tex-shell "@bash@/bin/sh")
 '(xargs-program "@findutils@/bin/xargs")
 '(vc-git-program "@git@/bin/git")
 '(gnutls "@gnutls@/bin/gnutls-cli")
 '(pdf2dsc-command "@ghostscript@/bin/pdf2dsc")
 '(preview-gs-command "@texlive@/bin/rungs")
 '(TeX-command "@texlive@/bin/tex")
 '(LaTeX-command "@texlive@/bin/latex")
 '(latex-run-command "@texlive@/bin/latex")
 '(tex-run-command "@texlive@/bin/tex")
 '(luatex-command "@texlive@/bin/luatex")
 '(xetex-command "@texlive@/bin/xetex")
 '(xelatex-command "@texlive@/bin/xelatex")
 '(makeinfo-command "@texinfoInteractive@/bin/makeinfo")
 '(pdftex-command "@texlive@/bin/pdftex")
 '(context-command "@texlive@/bin/context")
 '(bibtex-command "@texlive@/bin/bibtex")
 '(dvipdfmx-command "@texlive@/bin/dvipdfmx")
 '(makeindex-command "@texlive@/bin/makeindex")
 '(chktex-command "@texlive@/bin/chktex")
 '(lacheck-command "@texlive@/bin/lacheck")
 '(dvipdfmx-command "@texlive@/bin/dvipdfmx")
 '(dvips-command "@texlive@/bin/dvips")
 '(dvipng-command "@texlive@/bin/dvipng")
 '(ps2pdf-command "@ghostscript@/bin/ps2pdf")
 '(locate-executable "@findutils@/bin/locate")
 '(ag-executable "@ag@/bin/ag")
 '(notmuch-command "@notmuch@/bin/notmuch")
 '(dumb-jump-rg-cmd "@ripgrep@/bin/rg")
 '(dumb-jump-ag-cmd "@ag@/bin/ag")
 '(gud-gdb-command-name "@gdb@/bin/gdb")
 '(coq-prog-name "@coq@/bin/coqtop")
 '(coq-dependency-analyzer "@coq@/bin/coqdep")
 '(coq-compiler "@coq@/bin/coqc")

Set some defaults that depend on the path variables below,

 '(imap-ssl-program `(,(concat gnutls " --tofu -p %p %s")))
 '(tls-program (concat gnutls " --tofu -p %p %h"))
   (concat pdf2dsc-command " %s.pdf %m/preview.dsc"))
   (concat dvips-command " -Pwww %d -o %m/"))
   (concat dvips-command " -Pwww %d -o %m/"))
   (concat dvipng-command
     " -picky -noghostscript %d -o \"%m/prev%%03d.png\""))
   `((xetex "XeTeX"
     (luatex "LuaTeX" luatex-command
      ,(concat luatex-command " --jobname=%s")
      ,(concat "%(PDF)%(tex) %(file-line-error) "
               "%(extraopts) %`%S%(PDFout)%(mode)%' %t")
      TeX-run-TeX nil
      (plain-tex-mode ams-tex-mode texinfo-mode)
      :help "Run plain TeX")
     ("LaTeX" "%`%l%(mode)%' %t" TeX-run-TeX nil
      (latex-mode doctex-mode)
      :help "Run LaTeX")
     ("Makeinfo" ,(concat makeinfo-command
                          " %(extraopts) %t")
      TeX-run-compile nil
      :help "Run Makeinfo with Info output")
     ("Makeinfo HTML"
      ,(concat makeinfo-command
               " %(extraopts) --html %t")
      TeX-run-compile nil
      :help "Run Makeinfo with HTML output")
      ,(concat pdftex-command
           " %(PDFout) %(extraopts) %`%S%(mode)%' %t")
      TeX-run-TeX nil
      :help "Run AMSTeX")
      ,(concat context-command
           " --once --texutil %(extraopts) %(execopts)%t")
      TeX-run-TeX nil
      :help "Run ConTeXt once")
     ("ConTeXt Full"
      ,(concat context-command
               " %(extraopts) %(execopts)%t")
      TeX-run-TeX nil
      :help "Run ConTeXt until completion")
     ("BibTeX" ,(concat bibtex-command " %s")
      TeX-run-BibTeX nil t :help "Run BibTeX")
     ("Biber" "biber %s" TeX-run-Biber nil t
              :help "Run Biber")
     ("View" "%V" TeX-run-discard-or-function t t
             :help "Run Viewer")
     ("Print" "%p" TeX-run-command t t
             :help "Print the file")
     ("Queue" "%q" TeX-run-background nil t
             :help "View the printer queue"
             :visible TeX-queue-command)
     ("File" ,(concat dvips-command " %d -o %f ")
      TeX-run-dvips t t :help "Generate PostScript file")
     ("Dvips" ,(concat dvips-command " %d -o %f ")
      TeX-run-dvips nil t
      :help "Convert DVI file to PostScript")
     ("Dvipdfmx" ,(concat dvipdfmx-command " %d")
      TeX-run-dvipdfmx nil t
      :help "Convert DVI file to PDF with dvipdfmx")
     ("Ps2pdf" ,(concat ps2pdf-command " %f")
      TeX-run-ps2pdf nil t
      :help "Convert PostScript file to PDF")
     ("Index" ,(concat makeindex-command " %s")
      TeX-run-index nil t
      :help "Run makeindex to create index file")
     ("upMendex" "upmendex %s"
      TeX-run-index t t
      :help "Run mendex to create index file")
     ("Xindy" "xindy %s"
      TeX-run-command nil t
      :help "Run xindy to create index file")
     ("Check" ,(concat lacheck-command " %s")
      TeX-run-compile nil
      :help "Check LaTeX file for correctness")
     ("ChkTeX" ,(concat chktex-command " -v6 %s")
      TeX-run-compile nil
      :help "Check LaTeX file for common mistakes")
     ("Spell" "(TeX-ispell-document \"\")"
      TeX-run-function nil t
      :help "Spell-check the document")
     ("Clean" "TeX-clean"
      TeX-run-function nil t
      :help "Delete generated intermediate files")
     ("Clean All" "(TeX-clean t)" TeX-run-function nil t
      "Delete generated intermediate and output files")
     ("Other" "" TeX-run-command t t
      :help "Run an arbitrary command")))
   (concat ripgrep-executable
    " -i -M 120 --no-heading --line-number --color never '%s' %s"))
   (concat ripgrep-executable
           " -i --no-heading --line-number %s ."))
   (concat ag-executable " --nocolor --nogroup %s"))
      :programs ("latex" "dvipng")
          :description "dvi > png"
          :message ""
          :image-input-type "dvi"
          :image-output-type "png"
          :image-size-adjust (1.0 . 1.0)
      (,(concat LaTeX-command
         " -interaction nonstopmode -output-directory %o %f"))
      (,(concat dvipng-command
         " -fg %F -bg %B -D %D -T tight -o %O %f")))))
 '(Info-directory-list '("@infopages@/share/info"))
         ,(expand-file-name "bin" output-directory)))
 '(woman-manpath man-path)
            "schema/schemas.xml" data-directory)))

This is the bootstrap script that is mentioned above. We use it to install the IDE. It ensures Nix is installed as well as that the Git repo is available & up-to-date.

First we install Nix if it isn’t already.

if ! command -v nix-env >/dev/null 2>&1; then
    curl -s \
      > $nix_installer
    sh $nix_installer

If we are in a Git repo already, we’ll pull to get latest updates.

if [ -d .git ] && command -v git >/dev/null 2>&1; then
    git pull origin master || true

If we can’t find default.nix then we’ll clone from GitHub. This will be stored in ~/.local/share/bauer.

if ! [ -f default.nix ] \
   && command -v git >/dev/null 2>&1; then
    repo_dir=$(mktemp -d)
    git clone \
    cd $repo_dir

The last action is to install our new derivation.

nix-env -if .

Cross-platform script to execute app.

case $(uname) in
        open @out@/Applications/


default.nix: the tangler

# -*- mode: nix; coding: utf-8; -*-
{ channel ? "nixpkgs-unstable"
, nixpkgs-url ?
, pkgs ? import (builtins.fetchTarball nixpkgs-url) {}

Now let’s tangle…

ensure = f: n: if builtins.pathExists f then f
         else builtins.fetchurl
in import (pkgs.runCommand "README" {
  buildInputs = with pkgs; [ emacs git ];
} (''
  install -D ${ensure ./ ""} \
  cd $out
'' + pkgs.lib.optionalString (builtins.pathExists ./site-lisp) ''
  cp -r ${./site-lisp} site-lisp
'' + ''
  emacs --batch --quick \
  -l ob-tangle \
  --eval "(org-babel-tangle-file \"\")"
  cp bauer.nix default.nix
'')) { inherit ensure pkgs; }

bauer.nix: the build script

# -*- mode: nix; coding: utf-8; -*-
{ pkgs ? import <nixpkgs> {}
, ensure ? (f: n: f)
, isSmall ? (pkgs.config.bauer.small or true) }:
with pkgs; let isBig = !isSmall;

The normal version has a huge closure totalling in at over 5GB. This is extremely useful for developers, but not always ideal. If you want to, you can enable the “small” version with ‘nixpkgs.config.bauer.small = true’. Alternatively, if you need it, you should set ‘nixpkgs.config.bauer.small = false’.

Next we start defining some packages. R is one of the simpler ones right now, so let’s start with that.

rEnv = pkgs.rWrapper.override {
  packages = with pkgs.rPackages; [

Here we define our package set. This will just give us access to all of the Emacs packages defined in Nixpkgs.

We also define our Emacs version to use. Mitsuharo’s Emacs package is much better for MacOS so we use that when we’re on Darwin systems. Otherwise, just default to ‘emacs’ which should be the latest (Nixpkgs-unstable has version 25.3 currently).

Emacs 26 is provided courtesy of @jwiegley’s nix-config repo.

inherit (import ((fetchFromGitHub {
  owner = "jwiegley";
  repo = "nix-config";
  rev = "c37023f661d6b2aa1c5b386170960e8d7a13c8ab";
  sha256 = "12rxz01x7dvwrfxg7k3w59sa0jr2cp69aijl05i73mwhigb0nwdx";
  # date = 2018-04-26T23:40:37-07:00;
}) + "/overlays/10-emacs.nix") self pkgs) emacs26;
customEmacsPackages = emacsPackagesNg.overrideScope
  (super: self: {
    emacs = if stdenv.isDarwin then emacsMacport else emacs;

Next, we define aspell with the English language. This is used by Emacs ispell.

myAspell = aspellWithDicts (ps : with ps; [ en ]);

Tex live provides some LaTeX commads for us.

myTex = texlive.combine {
  inherit (texlive) xetex setspace
    fontspec chktex enumitem xifthen
    ifmtarg filehook wrapfig inconsolata
    upquote minted lastpage collection-basic
    collection-binextra collection-context
    collection-fontsrecommended collection-fontutils
    collection-langenglish collection-latex
    collection-latexrecommended collection-luatex
    collection-metapost collection-texworks
    collection-xetex capt-of ulem hyperref titlesec;

Emacs configuration

Here, we start building up the site-paths.el file. This does a simple substitution of all the attributes set.

site-paths = runCommand "site-paths.el" ({
  inherit (customEmacsPackages) emacs;
  inherit ripgrep ag fortune gnutls nethack
    coreutils findutils openssh
    git bash zsh diffutils man gawk
    gnugrep gnused cacert

    # Nix paths
    manpages sysheaders sysframeworks
    schemas bins infopages;
  gpg = gnupg1compat;
  aspell = myAspell;
} // (lib.optionalAttrs isBig {
  # random packages needed in site-paths
  inherit ant perl perlcritic
    asciidoc lessc stack lua gcc
    pandoc clang cmake ghostscript
    sqliteInteractive freetds
    parallel unixODBC ncompress
    texinfoInteractive notmuch gnuplot
    gdb coq rtags # mariadb go golint
  inherit (pythonPackages) flake8;
  inherit (nodePackages) jshint eslint;
  inherit (haskellPackages) hoogle hlint hasktags;
  texlive = myTex;
  markdown2 = pythonPackages.markdown2;
  tidy = html-tidy;
  libxml2 = libxml2.bin;
  # stylish = haskellPackages.stylish-haskell;
  # intero = haskellPackages.intero-nix-shim;
  # irony = irony-server;
  # jdeeserver = jdee-server;
})) "substituteAll ${./} $out";

Emacs building can be divided into phases. Each phase will run through the Elisp once.

  • Phase 1: picking up dependencies

    myEmacsPackages gets a listing of all of the packages that are needed by the Emacs configuration. use-package-list generates this list automatically.

    package-list =
      runCommand "package-list" {
        buildInputs = [ customEmacsPackages.emacs ];
      } ''
    emacs --batch --quick \
          -L ${customEmacsPackages.use-package
        }/share/emacs/site-lisp/elpa/use-package-* \
          -L ${customEmacsPackages.delight
        }/share/emacs/site-lisp/elpa/delight-* \
          -L ${customEmacsPackages.bind-key
        }/share/emacs/site-lisp/elpa/bind-key-* \
          -l ${ensure ./site-lisp/set-defaults.el
           "site-lisp/set-defaults.el"} \
          -l ${ensure ./site-lisp/bauer.el
           "site-lisp/bauer.el"} \
          -l ${ensure ./site-lisp/use-package-list.el
           "site-lisp/use-package-list.el"} \
          --eval "(use-package-list \"${./README.el}\")" \
          > $out
    myEmacsPackages = builtins.fromJSON
           (builtins.readFile package-list);
  • Phase 2: byte compiling
    default = runCommand "default.el" {
      buildInputs = [customEmacsPackages.emacs];
    } ''

    Install our lisp files. Many of these should be released into MELPA but don’t have the time to do it currently.

    install -D ${site-paths} \
    install -D ${./README.el} \
    install -D ${ensure ./site-lisp/em-dired.el
             "site-lisp/em-dired.el"} \
    install -D ${ensure ./site-lisp/dired-column.el
             "site-lisp/dired-column.el"} \
    install -D ${ensure ./site-lisp/macho-mode.el
             "site-lisp/macho-mode.el"} \
    install -D ${ensure ./site-lisp/nethack.el
             "site-lisp/nethack.el"} \
    install -D ${ensure ./site-lisp/set-defaults.el
             "site-lisp/set-defaults.el"} \
    install -D ${ensure ./site-lisp/installer.el
             "site-lisp/installer.el"} \
    install -D ${ensure ./site-lisp/restart-emacs.el
             "site-lisp/restart-emacs.el"} \
    install -D ${ensure ./site-lisp/use-package-list.el
             "site-lisp/use-package-list.el"} \
    install -D ${ensure ./site-lisp/bauer.el
            "site-lisp/bauer.el"} \

    This is fairly complicated. What happens is we batch compile all of the .el files. The problem is the .el files all are going to depend on dependencies that we have just found in package-list. The solution is that complex eval below where we add all of the paths (plus their requisites) to the load path. This works but is hacky & I am interested in fixing it.

    cd $out/share/emacs/site-lisp
    export HOME=$PWD
    emacs --batch --quick \
          --eval \
    "(let ((default-directory \"${emacsWrapper
      ((requiredPackages customEmacsPackages myEmacsPackages)
       ++ (with customEmacsPackages; [use-package delight]))
      (normal-top-level-add-subdirs-to-load-path))" \
          -L . -f batch-byte-compile *.el
  • Phase 3: wrapping into Emacs
    emacsWrapper = explicitRequires:
     runCommand "emacs-packages-deps"
     { inherit explicitRequires;
       inherit (xorg) lndir;
       inherit (customEmacsPackages) emacs; } ''
    findInputsOld() {
        local pkg="$1"; shift
        local var="$1"; shift
        local propagatedBuildInputsFiles=("$@")
        local varSlice="$var[*]"
        case "''${!varSlice-}" in
      *" $pkg "*) return 0 ;;
        unset -v varSlice
        eval "$var"'+=("$pkg")'
        if ! [ -e "$pkg" ]; then
      echo "build input $pkg does not exist" >&2
      exit 1
        local file
        for file in "''${propagatedBuildInputsFiles[@]}"; do
      [[ -f "$file" ]] || continue
      local pkgNext
      for pkgNext in $(< "$file"); do
          findInputsOld "$pkgNext" "$var" \
    mkdir -p $out/bin
    mkdir -p $out/share/emacs/site-lisp
    local requires
    for pkg in $explicitRequires; do
      findInputsOld $pkg requires propagated-user-env-packages
    linkPath() {
      local pkg=$1
      local origin_path=$2
      local dest_path=$3
      if [[ -d "$pkg/$origin_path" ]]; then
        $lndir/bin/lndir -silent "$pkg/$origin_path" \
    linkEmacsPackage() {
      linkPath "$1" "bin" "bin"
      linkPath "$1" "share/emacs/site-lisp" \
    for pkg in "''${requires[@]}"; do
      linkEmacsPackage $pkg
    $emacs/bin/emacs --batch \
         -f batch-byte-compile \

    requiredPackages is a function that takes two arguments.

    requiredPackages = epkgs: map (x:
      if builtins.hasAttr x epkgs
        then builtins.getAttr x epkgs
      else if builtins.hasAttr x emacsPackages
        then builtins.getAttr x emacsPackages
      else abort "no attribute found for use-package ${x}");

    Now we build our Emacs distribution.

    TODO use dump-emacs here to speed up config.

    myEmacs = customEmacsPackages.emacsWithPackages (epkgs:
      (requiredPackages epkgs myEmacsPackages)
      ++ [default epkgs.use-package]

The environment

Finally, we can actually build the environment.

First build the info pages…

infopages = buildEnv {
  name = "info-pages";
  paths = userPackages ++ [customEmacsPackages.emacs];
  extraOutputsToInstall = [ "info" "doc" "devdoc" ];
  pathsToLink = [ "/share/info" ];
  postBuild = ''
    shopt -s nullglob
    for i in $out/share/info/*; do
      ${texinfoInteractive}/bin/install-info \
       $i $out/share/info/dir

Setup man pages…

manpages = buildEnv {
  name = "man-pages";
  ignoreCollisions = (!(config.bauer.small or false));
  paths = userPackages ++ [posix_man_pages]
    ++ stdenv.lib.optional (stdenv.isDarwin && isBig)
    ++ stdenv.lib.optional stdenv.isLinux man-pages;
  extraOutputsToInstall = [ "man" "doc" "devdoc" "devman" ];
  pathsToLink = [ "/share/man" ];

Setup XDG data directory..

xdg-data = buildEnv {
  name = "xdg-data-dirs";
  paths = userPackages ++ [ myEmacs zsh ];
  pathsToLink = [
  postBuild = ''
    export XDG_DATA_DIRS=$out/share

    if [ -w $out/share/applications ]; then
      ${desktop-file-utils}/bin/update-desktop-database \

    if [ -w $out/share/mime ] \
       && [ -w $out/share/mime/packages ]; then
      ${shared-mime-info}/bin/update-mime-database \
            -V $out/share/mime

ZSH completions…

zsh-completions = buildEnv {
  name = "zsh-completions";
  paths = userPackages;
  pathsToLink = [ "/share/zsh/site-functions" ];

Setup binaries

bins = buildEnv {
  name = "bins";
  paths = userPackages;
  extraOutputsToInstall = [ "bin" ];
  pathsToLink = [ "/bin" ];

Setup system headers…

sysheaders = buildEnv {
  name = "headers";
  paths = [ libcxx ]
    ++ stdenv.lib.optional (stdenv.isDarwin && isBig)

Setup some Apple frameworks.

sysframeworks = buildEnv {
  name = "frameworks";
  paths = stdenv.lib.optional (stdenv.isDarwin && isBig)

Setup schemas…

schemas = writeText "schemas.xml" ''
  <documentElement localName="section" typeId="DocBook"/>
  <documentElement localName="chapter" typeId="DocBook"/>
  <documentElement localName="article" typeId="DocBook"/>
  <documentElement localName="book" typeId="DocBook"/>
  <typeId id="DocBook"

Full list of packages that will be made available.

userPackages = [

  # From common-path.nix
  coreutils findutils diffutils gnused gnugrep gawk gnutar
  gzip bzip2 gnumake bash patch xz

  # Helpful core tools
  curl zsh cacert file lsof pstree which rsync
  unzip man openssh less calc ag ripgrep sqlite
  git gnuplot gnupg tree

  # Nix tools
  nix nix-index
] ++ lib.optionals isBig ([
  # Useful tools
  isync notmuch graphviz indent
  graphviz imagemagick

  # Old version control
  subversion bazaar cvs

  # Programming interpreters/compilers
  myTex rEnv perl python lua coq ocaml
  openjdk nodejs gcc gdb

  # GUI Apps
  # transmission-gtk inkscape gimp
  # retroarch
  # blender chromium wesnoth kodi
  # firefox vlc virtualbox

  # Disabled
  # gcal ocrad mailutils dirmngr jwhois inetutils moe
] ++ (with netbsd; [ getent getconf ]) # games
  ++ (with nodePackages; [ tern ])
  ++ (with gitAndTools; [ hub ])
  ++ (with haskellPackages; [ stack ghc jq ]) # ghc-mod
  ++ (with unixtools; [ utillinux nettools procps ])

Setup global environment variables & directories. Most of the global directories will not exist, but the way search paths work, means that is okay. We aim to support all directories in a common system, prioritizing ones that the user has the most direct access to.

global-dirs = [ "~/.nix-profile"
    "" ];

PATH = lib.concatStringsSep ":" [
   (lib.makeBinPath ([ bins myEmacs zsh ]
         ++ global-dirs))
   (lib.makeSearchPath "sbin" [ "/usr" "" ])
MANPATH = lib.makeSearchPathOutput "man" "share/man"
  ([ manpages myEmacs zsh ] ++ global-dirs);
INFOPATH = "${infopages}/share/info";
XDG_DATA_DIRS = lib.makeSearchPathOutput "xdg" "share"
  ([ xdg-data ] ++ global-dirs);

The actual environment.

in buildEnv {
  name = "bauer";
  buildInputs = [ makeWrapper ];
  postBuild = ''
    mkdir -p $out/etc
    substituteAll ${./gitconfig} $out/etc/gitconfig
    substituteAll ${./} $out/etc/.zshrc
    substituteInPlace $out/etc/.zshrc \
      --subst-var-by completions ${zsh-completions}
    ln -s $out/etc/.zshrc $out/etc/zshrc
    wrapProgram $out/bin/zsh --set ZDOTDIR $out/etc
    substituteAll ${./} $out/etc/profile
    substituteAll ${./} $out/bin/run
    chmod +x $out/bin/run
    ln -s $out/bin/run $out/bin/bauer
  pathsToLink = [
  meta = with lib; {
    description = "Bauer’s automated unified Emacs realm";
    maintainers = with maintainers; [ matthewbauer ];
    platforms = platforms.all;
  passthru = with lib; {
    shellPath = "/bin/zsh";
    run = "/bin/run";
    PATH = makeSearchPath "bin" [bins];
    MANPATH = makeSearchPath "share/man" [manpages];
    INFOPATH = makeSearchPath "share/info" [infopages];
    XDG_DATA_DIRS = makeSearchPath "share" [xdg-data-dirs];
  paths = [
    myEmacs zsh
    (runCommand "my-profile" {
      buildInputs = [makeWrapper];
      emacs = myEmacs;
      inherit fortune cacert;
    } ''
      mkdir -p $out/etc/profile.d
      substituteAll ${./} $out/etc/profile.d/
      substituteInPlace $out/etc/profile.d/ \
  --subst-var-by PATH ${PATH} \
  --subst-var-by INFOPATH ${INFOPATH} \
  --subst-var-by MANPATH ${MANPATH} \
  ${lib.optionalString stdenv.isLinux
  "--subst-var-by XDG_DATA_DIRS ${XDG_DATA_DIRS}"}

Invoking it

We can build it with nix-build.


Continuous integration

travis status

We’ll set up Travis support here. We start by configuring .travis.yml.


language: nix

Next we’ll set up nix-build & pass the URL of Nixpkgs with the NIXPKGS.

  - nix-build -Q --argstr channel $CHANNEL

Setup the OSs. Sadly no Windows support yet.

  depth: 1
sudo: false
  - linux
  - osx

Setup some values for NIXPKGS variables.

  - CHANNEL=nixos-unstable
  - CHANNEL=nixpkgs-unstable

Setup the cache.

    - /nix/store

Turn off those annoying Travis notifications.

  email: false


This is a simple script that I use to make sure I’ve updated the generated files.

emacs --batch \
      -l ob-tangle \
      --eval "(org-babel-tangle-file \"\")"


If you end up with generated files, they’re easy to remove with Git. Just run git clean -xdf & it will remove all of the files that match the .gitignore rules (which should never be added to the git tree).

These set up some paths for .gitignore that we don’t want getting put in the repo. Start with Emacs/org-mode/LaTeX stuff.


Nix-related stuff.

# nix stuff

These are all tangled by



config.nix     linguist-generated=true
default.nix    linguist-generated=true   linguist-generated=true      linguist-generated=true
.travis.yml    linguist-generated=true
.gitattributes linguist-generated=true
.gitignore     linguist-generated=true
module.nix     linguist-generated=true

NixOS module

{ config, lib, pkgs, ... }: with lib;

ensure = f: n: if builtins.pathExists f then f
         else builtins.fetchurl
bauer = import (ensure ./default.nix "default.nix") {
  inherit pkgs;
in {
  options = {
    programs.bauer = {
      enable = mkOption {
  default = false;
  type = types.bool;

  config = mkIf config.programs.bauer.enable {
    environment = {
      systemPackages = [ bauer ];
      variables = with lib; {
  PATH = [bauer.PATH];
  MANPATH = [bauer.MANPATH];

Author: Matthew Bauer

Emacs 25.3.2 (Org mode 9.1.9)