Advertisement
Guest User

Untitled

a guest
Oct 8th, 2015
90
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.32 KB | None | 0 0
  1. function ssh()
  2. {
  3. local DATE="$(date +%F_%H:%M)"
  4. local LOG_DIR="/home/flatcap/logs"
  5. local LOG_FILE="${LOG_DIR}/${DATE}-${USER}"
  6. local TIMING="--timing=${LOG_FILE}-timing"
  7.  
  8. if [ $# = 1 ]; then
  9. set -- -t "$1" "mkdir -p \"$LOG_DIR\"; screen -d -R -S \"$USER\" script --flush ${TIMING} \"$LOG_FILE\""
  10. fi
  11.  
  12. /usr/bin/ssh "$@"
  13. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement