another workaround: Put your credential cache in /tmp.
instead of ssh call a script that does this: cp $KRB5CCNAME /tmp/krb5cc_$$ export KRB5CCNAME=/tmp/krb5cc_$$ ssh “$@“ rm /tmp/krb5cc_$$ That is, copy the cache into a different /tmp file for each time you do the ssh. On May 13, 2019, at 5:09:05 PM, Charles Hedrick <hedr...@rutgers.edu<mailto:hedr...@rutgers.edu>> wrote: That’s exec /bin/ssh “$@" On May 13, 2019, at 4:50 PM, Charles Hedrick <hedr...@rutgers.edu<mailto:hedr...@rutgers.edu>> wrote: exec /bin/sh “$@" ________________________________________________ Kerberos mailing list Kerberos@mit.edu https://mailman.mit.edu/mailman/listinfo/kerberos
