diff options
Diffstat (limited to '')
-rw-r--r-- | .zsh/zshrc | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -37,7 +37,7 @@ alias pstart='./portato.py -F' alias quickweb='python -c "import SimpleHTTPServer;SimpleHTTPServer.test()"' alias CH='./configure --help | less' alias FF='noglob firefox' -alias IE='isabelle emacs' +alias IE='isabelle emacs -m iff' # the config management stuff alias config='GIT_DIR=$HOME/.config.git/ git --work-tree=$HOME' |