run-in-pagsh: Add /usr/bin/ prefix for consistency

[clinton/scripts.git] / run-in-pagsh

diff --git a/run-in-pagsh b/run-in-pagsh
index f354c0e..5a54629 100755 (executable)
--- a/run-in-pagsh
+++ b/run-in-pagsh
@@ -40,7 +40,7 @@ KTAB=/etc/keytabs/user.daemon/$USER
 # Terminate current k5start process, if one is running.
 if test -f "$K5PID"; then
     kill `cat -- "$K5PID"`
 # Terminate current k5start process, if one is running.
 if test -f "$K5PID"; then
     kill `cat -- "$K5PID"`

-    k5start -qtU -f "$KTAB" -- rm -f "$K5PID"
+    /usr/bin/k5start -qtU -f "$KTAB" -- rm -f "$K5PID"

 fi
 
 # Start fresh k5start daemon which will be refreshing tickets every 540 min
 fi
 
 # Start fresh k5start daemon which will be refreshing tickets every 540 min