Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- function ssh()
- {
- local DATE="$(date +%F_%H:%M)"
- local LOG_DIR="/home/flatcap/logs"
- local LOG_FILE="${LOG_DIR}/${DATE}-${USER}"
- local TIMING="--timing=${LOG_FILE}-timing"
- if [ $# = 1 ]; then
- set -- -t "$1" "mkdir -p \"$LOG_DIR\"; screen -d -R -S \"$USER\" script --flush ${TIMING} \"$LOG_FILE\""
- fi
- /usr/bin/ssh "$@"
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement