1 files changed, 4 insertions, 0 deletions
diff --git a/.zsh/zshrc b/.zsh/zshrc
index 5b749be..f5ebff5 100644
--- a/.zsh/zshrc
+++ b/.zsh/zshrc
@@ -39,6 +39,10 @@ alias CH='./configure --help | less'
 alias FF='noglob firefox'
 alias IE='isabelle emacs'
 
+# the config management stuff
+alias config='git --git-dir=$HOME/.config.git/ --work-tree=$HOME'
+alias cstg='GIT_DIR=$HOME/.config.git stg'
+
 # }}}
 
 # Functions {{{