zulip/bots/zmirror-renew-kerberos

#!/bin/sh
env KRB5CCNAME=/tmp/krb5cc_1000.tmp kinit -k -t /home/zulip/tabbott.extra.keytab tabbott/extra@ATHENA.MIT.EDU; mv /tmp/krb5cc_1000.tmp /tmp/krb5cc_1000
zephyr_mirror: Renew kerberos tickets when starting up class mirror. (imported from commit 34b0a78558c6f20043efe986a16064387f36f1c0) 2013-08-20 20:03:07 +02:00			`#!/bin/sh`
[manual] Rename /home/humbug to /home/zulip. This may require just doing an mv on the home directory, plus changing the home directory in /etc/passwd. It should of course be done carefully. (imported from commit 660997d897ee6d33563af74f0fc5d4267a911755) 2013-10-04 19:19:57 +02:00			`env KRB5CCNAME=/tmp/krb5cc_1000.tmp kinit -k -t /home/zulip/tabbott.extra.keytab tabbott/extra@ATHENA.MIT.EDU; mv /tmp/krb5cc_1000.tmp /tmp/krb5cc_1000`