200426.27 · ec859a442d5a29062acecb4752f396c0d05ee3c6

script for determining hostname

This allows for an override hack to change the hostname if we're on a system that we don't control. This makes it convenient to maintain my own internal set of names irrespective of what other people name things.

new file mode 100755@@ -0,0 +1,7 @@+#!/bin/sh++if [ -r "$HOME/.myhostname" ]; then+  cat "$HOME/.myhostname"+else+  hostname+fi