X-Git-Url: https://www.dehnerts.com/gitweb/?p=user%2Falex%2Fsoftware%2Fmy-snippets.git;a=blobdiff_plain;f=krbroot;fp=krbroot;h=5f475afc78aeb706d73e127b6ba110cf7c751e85;hp=0000000000000000000000000000000000000000;hb=5dfb361e1a3deef93331147468d8aea65586ea13;hpb=a5ae9e8cc17d8f4db7189c64c0ec8ef1618a9cfc

diff --git a/krbroot b/krbroot
new file mode 100755
index 0000000..5f475af
--- /dev/null
+++ b/krbroot
@@ -0,0 +1,38 @@
+#!/bin/sh
+export KRB5CCNAME=/tmp/krb5cc_$(id -u).root
+export KRBTKFILE=/dev/null
+
+case $1 in
+    init)
+        shift;
+        exec kinit -F -5 -l15m $ATHENA_USER/root@ATHENA.MIT.EDU "$@"
+        ;;
+    destroy)
+        exec kdestroy -45
+        ;;
+    shell)
+        klist -s || krbroot init || exit 1;
+        HOST="`hostname` (krbroot)" pagsh -c $SHELL
+        ;;
+    ssh)
+        klist -s || krbroot init || exit 1;
+        shift
+        exec ssh -k -l root "$@"
+        ;;
+    rlogin)
+        klist -s || krbroot init || exit 1;
+        exec rlogin -x -l root $2
+        ;;
+    *)
+        if [ $# = 0 ]; then
+            echo "Usage: $0 init" >&2
+            echo "       $0 destroy" >&2
+            echo "       $0 shell" >&2
+            echo "       $0 ssh [args]" >&2
+            echo "       $0 rlogin [args]" >&2
+            echo "       $0 [cmd]" >&2
+        else
+            exec "$@"
+        fi
+        ;;
+esac