From 719293191289cc9d85d784b4a155115a8acbed43 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 4 Dec 2009 18:07:20 +0000
Subject: [PATCH] Add junk file before removal

---
 stump/etc/hostname.REPLACEMENT | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100755 stump/etc/hostname.REPLACEMENT

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
-- 
2.30.2