A solução suja é atualizar o valor do tmux para $KRB5CCNAME
. Primeiro,
execute este fora do tmux:
$ echo $KRB5CCNAME
FILE:/tmp/krb5cc_201108_XXXXXX
Então, dentro do tmux, você precisa exportar esse novo valor:
$ export KRB5CCNAME='FILE:/tmp/krb5cc_201108_XXXXXX'
Agora, o tmux tem suas novas credenciais.