From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 4 Dec 2009 18:07:20 +0000 (+0000)
Subject: Add junk file before removal
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~webstump/git?a=commitdiff_plain;h=719293191289cc9d85d784b4a155115a8acbed43;p=modbot-mtm.git

Add junk file before removal
---

diff --git a/stump/etc/hostname.REPLACEMENT b/stump/etc/hostname.REPLACEMENT
new file mode 100755
index 0000000..820d4a2
--- /dev/null
+++ b/stump/etc/hostname.REPLACEMENT
@@ -0,0 +1,25 @@
+#!/bin/sh
+#
+# This is a shell script that replaces "hostname" on bsd-derived systems
+# where inews conflicts with system-provided "hostname" program.
+#
+# This is a drop-in replacement for hostname.
+#
+# Edit this file and set HOSTNAME and FULL_HOSTNAME to the right values,
+# according to your machine's system name.
+#
+# Read instructions in "modenv" file (close to RNEWS) where I explain when
+# you should use this script, and how.
+#
+# Example: 
+# HOSTNAME=galaxy
+# FULL_HOSTNAME=galaxy.galstar.com
+
+HOSTNAME=manifold
+FULL_HOSTNAME=manifold.algebra.com
+
+if [ "x$1" = "-f" ] ; then
+  echo $HOSTNAME
+else
+  echo $FULL_HOSTNAME
+fi