domtool-tail

[hcoop/domtool2.git] / scripts / domtool-admin-sudo

diff --git a/scripts/domtool-admin-sudo b/scripts/domtool-admin-sudo
index 7934c45..13eaf19 100755 (executable)
--- a/scripts/domtool-admin-sudo
+++ b/scripts/domtool-admin-sudo
@@ -1,3 +1,5 @@
+#!/usr/bin/pagsh.openafs
+
 kinit -k -t /etc/keytabs/domtool domtool
 aklog
 domtool-admin $* >/dev/null 2>/dev/null