From 83801e650741bf2800ff371dad9a30f731f84571 Mon Sep 17 00:00:00 2001 From: Clinton Ebadi Date: Tue, 11 Dec 2012 03:13:53 -0500 Subject: [PATCH] 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. --- scripts/domtool-server | 4 ++-- scripts/domtool-slave | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/domtool-server b/scripts/domtool-server index d86f5ac..94ffda3 100755 --- 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. diff --git a/scripts/domtool-slave b/scripts/domtool-slave index dabbb70..e51ac89 100755 --- 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 -- 2.20.1