# HG changeset patch
# User meillo@marmaro.de
# Date 1278581223 -7200
# Node ID 60c92aa599114fa2f91ad5158be09ed436d299be
# Parent  27363b36a28ceae021f79730836e5087940b3743
added a script to guess the host's name

diff -r 27363b36a28c -r 60c92aa59911 contrib/guess-hostname
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/contrib/guess-hostname	Thu Jul 08 11:27:03 2010 +0200
@@ -0,0 +1,22 @@
+#!/bin/sh
+#
+# try several ways to guess the hostname
+
+(
+
+# this is what Debian uses
+cat /etc/mailname
+
+# this is often the short hostname
+cat /etc/hostname
+
+# this file was mentioned on the Internet
+cat /etc/HOSTNAME
+
+# probably a good value on GNU/Linux
+hostname -f
+
+# often the short hostname, but widely available
+hostname
+
+) 2>/dev/null | sort -u