Use sh instead of pagsh for init scripts

pagsh provides no benefit since domtool is started using k5start, and
should have been removed ages ago. Slipped through the cracks until it
broke something.

diff --git a/scripts/domtool-server b/scripts/domtool-server
index d86f5ac..94ffda3 100755 (executable)
--- a/scripts/domtool-server
+++ b/scripts/domtool-server
@@ -1,5 +1,5 @@
-#!/usr/bin/pagsh.openafs
-# -*- sh-mode -*-
+#!/bin/sh
+# -*- sh -*-

 
 # This script should go in /etc/init.d/ on Debian Linux systems
 # running Domtool dispatchers.
 
 # This script should go in /etc/init.d/ on Debian Linux systems
 # running Domtool dispatchers.

diff --git a/scripts/domtool-slave b/scripts/domtool-slave
index dabbb70..e51ac89 100755 (executable)
--- a/scripts/domtool-slave
+++ b/scripts/domtool-slave
@@ -1,4 +1,4 @@
-#!/usr/bin/pagsh.openafs
+#!/bin/sh

 # -*- sh -*-
 
 # This script should go in /etc/init.d/ on Debian Linux systems
 # -*- sh -*-
 
 # This script should go in /etc/init.d/ on Debian Linux systems