get-token: use sudo instead of su when switching user

su is losing tokens, sudo is not

diff --git a/get-token b/get-token
index e6cd16c..2a94863 100755 (executable)
--- a/get-token
+++ b/get-token
@@ -33,7 +33,7 @@ if test "$REALUSER" = "root"; then
         exit 1
     else
         USER=$(getent passwd "$1" | cut -d':' -f 1)
-        exec su $USER -c "$0 $1 norecurse"
+        exec sudo -u $USER -- $0 $1 norecurse
     fi
 fi