1 files changed, 3 insertions, 0 deletions
diff --git a/.zsh/zshrc b/.zsh/zshrc
index 055873b..5ddeb7e 100644
--- a/.zsh/zshrc
+++ b/.zsh/zshrc
@@ -40,6 +40,9 @@ alias CH='./configure --help | less'
 alias FF='noglob firefox'
 alias IE='isabelle emacs -m iff'
 
+# ~/.bins stuff
+alias sdedit='java -jar ~/.bins/sdedit-3.0.4.jar'
+
 # the config management stuff
 alias config='GIT_DIR=$HOME/.config.git/ git --work-tree=$HOME'
 alias cstg='GIT_DIR=$HOME/.config.git stg'