That’s exec /bin/ssh “$@" On May 13, 2019, at 4:50 PM, Charles Hedrick <hedrick at rutgers.edu<mailto:hedrick at rutgers.edu>> wrote: exec /bin/sh “$@"