stump/etc/hostname.REPLACEMENT

   1 #!/bin/sh
   2 #
   3 # This is a shell script that replaces "hostname" on bsd-derived systems
   4 # where inews conflicts with system-provided "hostname" program.
   5 #
   6 # This is a drop-in replacement for hostname.
   7 #
   8 # Edit this file and set HOSTNAME and FULL_HOSTNAME to the right values,
   9 # according to your machine's system name.
  10 #
  11 # Read instructions in "modenv" file (close to RNEWS) where I explain when
  12 # you should use this script, and how.
  13 #
  14 # Example:
  15 # HOSTNAME=galaxy
  16 # FULL_HOSTNAME=galaxy.galstar.com
  17
  18 HOSTNAME=manifold
  19 FULL_HOSTNAME=manifold.algebra.com
  20
  21 if [ "x$1" = "-f" ] ; then
  22   echo $HOSTNAME
  23 else
  24   echo $FULL_HOSTNAME
  25 fi