https://github.com/jozefg/emacs.d
my emacs config
https://github.com/jozefg/emacs.d
Last synced: 3 months ago
JSON representation
my emacs config
- Host: GitHub
- URL: https://github.com/jozefg/emacs.d
- Owner: jozefg
- Created: 2014-10-23T18:22:45.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2023-01-23T12:00:03.000Z (over 2 years ago)
- Last Synced: 2025-01-28T16:34:37.547Z (4 months ago)
- Language: Emacs Lisp
- Homepage:
- Size: 301 KB
- Stars: 3
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
## emacs.d
This is my emacs configuration. It's designed to be plunked into some poor
environment let me immediately begin working.This isn't completely dependency free. It expects
Dependency | File
--------------- | --------------------
emacs > 24 | `lisp/init-melpa.el`
ag | `lisp/init-my-keys.el`
coq + coq-mode | `lisp/init-coq.el`
ghc-mod | `lisp/init-haskell.el`
merlin | `lisp/init-ocaml.el`
mu4e | `lisp/init-mail.el`
offlineimap | `lisp/init-mail.el`
proofgeneral | `lisp/init-coq.el`
twelf | `lisp/init-twelf.el`All of these are available with a good package manager (apt-get, pacman) or
trivial to build and install on Linux. No guarantees about Windows, I've made
no attempts at compatibility.All these files are loaded so that if one fails to load the rest still
will. This means that in theory you can just drop this in and
magically end up with some subset of configuration.