diff options
Diffstat (limited to 'editors/mule-common/files/mule.sh')
| -rw-r--r-- | editors/mule-common/files/mule.sh | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/editors/mule-common/files/mule.sh b/editors/mule-common/files/mule.sh new file mode 100644 index 000000000000..c6976c1b8a18 --- /dev/null +++ b/editors/mule-common/files/mule.sh @@ -0,0 +1,21 @@ +#!/bin/sh + +case "$1" in +start) + if [ -d /var/run/emacs/lock ] + then + rm -f /var/run/emacs/lock/* + else + mkdir -p /var/run/emacs/lock + fi + chmod 1777 /var/run/emacs/lock + ;; +stop) + ;; +*) + echo "Usage: `basename $0` {start|stop}" >&2 + exit 64 + ;; +esac + +exit 0 |