Advertisement
Guest User

Untitled

a guest
Jul 24th, 2017
47
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.14 KB | None | 0 0
  1. #!/bin/bash
  2.  
  3. read USERCMD
  4. USERCMD=`basename "${USERCMD}"`
  5. if [ -x "${HOME}/bin/${USERCMD}" ]; then
  6. "${HOME}/bin/${USERCMD}"
  7. fi
  8. exit
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement