diff options
Diffstat (limited to 'home/.profile')
| -rw-r--r-- | home/.profile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/home/.profile b/home/.profile index 650c17c..e846a28 100644 --- a/home/.profile +++ b/home/.profile @@ -10,3 +10,4 @@ alias pl="pacman -Ql" alias pyu="sudo pacman -Syu" function d(){ dict $@ | colorit | less -R } function c(){ echo "$@" | bc -lq } +function vm(){ ( cd ~/.vm && sudo make $@ ) } |