- Submodules
- Paredit
- Org mode
- Org-present
- Hydras
- Zooming
- Eyebrowse
- Steps to Install Coq and Proof General
- Unbinding
- Pinning
- Helm
- Aligning Code
- Editing with Sudo
- Keybindings
- Updating submodules
- Finding face under point
- Ad-handle-definition warnings
- OCaml
- Graphical vs Console Emacs
- Languages
- Input Methods
- License
- Internal Notes
Remember to also clone submodules:
git clone --recursive git@github.com:bryangarza/dot-emacs.git
- left and right for movement
C-c C-=
for large textC-c C--
for small textC-c C-q
to quit (which will return you back to vanilla org-mode)C-c <
to jump to first slideC-c >
to jump to last slide
C-c m
Hydra for all hydrasC-c w
Window movement and manipulationC-c c
Multiple cursorsC-c o
Org mode headingsC-c a
Avy
C-x C-+
andC-x C--
(‘text-scale-adjust’) to increase or decrease the buffer text sizeC-+
orC--
to repeatC-x C-0
to restore the default (global) face heightS-mouse-1
pops up a menu where you can choose these same actions
The default key bindings are:
Key bind | Function |
---|---|
C-c C-w < | Switch to previous window config |
C-c C-w > | Switch to next window config |
C-c C-w ’ | Switch to last window config |
C-c C-w ” | Close current window config |
C-c C-w , | Rename current window config |
C-c C-w 0 | Switch to window config 0 |
… | … |
C-c C-w 9 | Switch to window config 9 |
I also bound all the s-<n>
keys to switch to that window config. Which you can
do with another eyebrowse function but that one also sets some other keys I
don’t want to override, so I just did it manually.
Don’t feel like putting this in a table....
From (eyebrowse-setup-evil-keys)
(define-key evil-motion-state-map (kbd "gt") 'eyebrowse-next-window-config)
(define-key evil-motion-state-map (kbd "gT") 'eyebrowse-prev-window-config)
(define-key evil-motion-state-map (kbd "gc") 'eyebrowse-close-window-config)
(define-key evil-motion-state-map (kbd "zx") 'eyebrowse-last-window-config))
brew install coq
…and set coq mode for coq files, done in config already.
company-coq
auto installs with use-package
.
Download the devel version of Proof General.
Unpack the .tgz
file.
Recompile for current Emacs:
make clean; make compile EMACS=/usr/local/Cellar/emacs-mac/emacs-24.5-z-mac-5.15/Emacs.app/Contents/MacOS/Emacs
Make sure the right file path for the downloaded version of Proof General is in
the config. (proof-site.el
)
This will make the symbol my-nasty-variable’s value void:
(makunbound 'my-nasty-variable)
This will make the symbol my-nasty-function’s function definition void:
(fmakunbound 'my-nasty-function)
If I ever want to pin packages:
(setq 'package-archives '(("melpa" . "http://melpa.org/packages/")
("melpa-stable" . "http://stable.melpa.org/packages/")))
(use-package company
:ensure t
:pin melpa-stable)
Haskell wiki: aligning code in Emacs
(bind-key "C-x a r" 'align-regexp)
C-x C-f /sudo::/path/to/file
Most of the keybindings I have set can be found in
(bryan/keybindings)
. The majority involve the Super key,
which on Mac is the Command key. On Windows or GNU/Linux, this is
probably your Win key, but if it’s not bound, then just bind it!
git submodule foreach git pull origin master
what-cursor-position
with a prefix argument shows the face under point, among other information.
Keyboard shortcut is C-u C-x =
.
To suppress things like
ad-handle-definition: `org-latex-keyword' got redefined
Do:
(setq ad-redefinition-action 'accept)
I didn’t though, because they are harmless, and I’d rather know when something is being advice’d.
OCaml settings require external installation, see
Real World OCaml’s GitHub wiki. If you don’t care about OCaml, simply comment
out bryan/ocaml
in bryan/pkg-full
.
Use Graphical Emacs.
All these are set up:
- C
- Common Lisp
- CSS
- Clojure
- Elisp
- Elm
- Erlang
- HTML
- Haskell
- Hy
- Jade
- JavaScript
- LaTeX
- Markdown
- OCaml
- Racket
- Rust
- Scala
- Scheme
- SQL
- Stylus
22.4 Selecting an Input Method
C-x RET C-\ method RET
(set-input-method)
C-\
(toggle-input-method)
C-h I method RET
(describe-input-method)
C-h C-\ method RET
- also
(describe-input-method)
M-x list-input-methods
- Display a list of all the supported input methods.
Copyright (C) 2014-2016 Bryan Garza
This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses/.
Because I keep forgetting the Org mode formatting:
You can make words *bold*, /italic/, _underlined_, =verbatim= and ~code~, and, if you must, ‘+strike-through+’. Text in the code and verbatim string is not processed for Org mode specific syntax, it is exported verbatim.
Batch resizing images on the command line:
sips -Z 640 *.jpg