diff options
Diffstat (limited to 'lang/gnustep-guile/files')
| -rw-r--r-- | lang/gnustep-guile/files/GNUstep.sh | 31 | ||||
| -rw-r--r-- | lang/gnustep-guile/files/gdomap_if | 1 |
2 files changed, 0 insertions, 32 deletions
diff --git a/lang/gnustep-guile/files/GNUstep.sh b/lang/gnustep-guile/files/GNUstep.sh deleted file mode 100644 index 0c53c376a68e..000000000000 --- a/lang/gnustep-guile/files/GNUstep.sh +++ /dev/null @@ -1,31 +0,0 @@ -#!/bin/sh - -if ! PREFIX=$(expr $0 : "\(/.*\)/etc/rc\.d/$(basename $0)\$"); then - echo "$0: Cannot determine the PREFIX" >&2 - exit 1 -fi - -IFFILE=${PREFIX}/etc/gdomap_if -PIDFILE=/var/run/gdomap.pid -GNUSTEP_SYSTEM_ROOT=${PREFIX}/GNUstep/System - -case "$1" in -start) - if [ -e ${GNUSTEP_SYSTEM_ROOT}/Makefiles/GNUstep.sh ]; then - . ${GNUSTEP_SYSTEM_ROOT}/Makefiles/GNUstep.sh - if [ -x ${GNUSTEP_SYSTEM_ROOT}/Tools/gdomap ]; then - rm -f ${PIDFILE} - ${GNUSTEP_SYSTEM_ROOT}/Tools/gdomap -a ${IFFILE} -I ${PIDFILE} - echo -n ' GNUstep' - fi - fi - ;; -stop) - [ -r ${PIDFILE} ] && kill $(cat ${PIDFILE}) && echo -n ' GNUstep' - ;; -*) - echo "Usage: `basename $0` {start|stop}" >&2 - ;; -esac - -exit 0 diff --git a/lang/gnustep-guile/files/gdomap_if b/lang/gnustep-guile/files/gdomap_if deleted file mode 100644 index dcb650b9b376..000000000000 --- a/lang/gnustep-guile/files/gdomap_if +++ /dev/null @@ -1 +0,0 @@ -127.0.0.1 255.255.255.0 |