Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/bash
- read USERCMD
- USERCMD=`basename "${USERCMD}"`
- if [ -x "${HOME}/bin/${USERCMD}" ]; then
- "${HOME}/bin/${USERCMD}"
- fi
- exit
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement