diff options
author | tv <tv@krebsco.de> | 2015-05-21 01:56:08 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2015-05-21 01:56:08 +0200 |
commit | 60e526dc9419d0bff89b05f4a98332aae48a0253 (patch) | |
tree | 484cb2c1075cdcabe8020ca40704f4d68f2b2fed /bin/list-hosts | |
parent | 6b976a36f5ef72d7463f848b55f250b807291bfd (diff) |
sh: functions -> bin/
Diffstat (limited to 'bin/list-hosts')
-rwxr-xr-x | bin/list-hosts | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bin/list-hosts b/bin/list-hosts new file mode 100755 index 0000000..e25a8ac --- /dev/null +++ b/bin/list-hosts @@ -0,0 +1,7 @@ +#! /bin/sh +# list-hosts : lines tinc-host-file +set -euf + +# Precondition: $PWD/hosts is the correct repository :) +git -C hosts ls-tree --name-only HEAD \ + | awk '{print ENVIRON["PWD"]"/hosts/"$$0}' |