Remove work tools

Signed-off-by: Severin Kaderli <severin@kaderli.dev>
This commit is contained in:
Severin Kaderli 2019-09-27 15:20:55 +02:00
parent ba2fb7c8ad
commit 4a01cdcb7c
Signed by: severinkaderli
GPG key ID: F419F8835B72F0C4
2 changed files with 3 additions and 11 deletions

View file

@ -43,10 +43,5 @@ fi
# Alias for opening my code editor
alias e='code'
# Work aliases
if [ -d "${HOME}/dev/work/tools/dde" ]; then
alias dde='make -f "${HOME}/dev/work/tools/dde/Makefile"'
fi
# Other aliases
alias timestamp='date +%s'