diff options
Diffstat (limited to '')
-rw-r--r-- | .bins/sdedit-3.0.4.jar | bin | 0 -> 1864427 bytes | |||
-rw-r--r-- | .zsh/zshrc | 3 |
2 files changed, 3 insertions, 0 deletions
diff --git a/.bins/sdedit-3.0.4.jar b/.bins/sdedit-3.0.4.jar Binary files differnew file mode 100644 index 0000000..f30b9bc --- /dev/null +++ b/.bins/sdedit-3.0.4.jar @@ -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' |