diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2022-12-06 23:03:44 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2022-12-07 09:41:16 -0700 |
commit | 13f08e9d36de02c54283993d2bd035adf13f0411 (patch) | |
tree | 8270a1dfe4916b9e70e173f4b2957d86e56e9e12 /bin/git-develacc | |
parent | e27b9fcc8e89e847a4c7f7f6a80cc15e991dd260 (diff) | |
download | dotfiles-13f08e9d36de02c54283993d2bd035adf13f0411.tar.gz |
bin/: some straightforward tidying up
Diffstat (limited to 'bin/git-develacc')
-rwxr-xr-x | bin/git-develacc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/git-develacc b/bin/git-develacc index 4e8f3671..99982b8a 100755 --- a/bin/git-develacc +++ b/bin/git-develacc @@ -20,7 +20,7 @@ set -e # sanity check -if in-develacc; then +if [ "$(hostname)" = develacc ]; then echo >&2 "$0: this script should be run outside the develacc container by my normal user" exit 1 fi |