diff options
author | Erich Eckner <git@eckner.net> | 2018-05-25 10:50:24 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-05-25 10:50:24 +0200 |
commit | 80103377b779450c3a470ddaa2d620c9fdf75491 (patch) | |
tree | 9f73ce05f392fbb5c8ef16f27faf055f93cb77ed /bin/ping-from-slave | |
parent | 673592f9fd24a26565fc6ebfbd4db6832d4b2b38 (diff) | |
download | builder-80103377b779450c3a470ddaa2d620c9fdf75491.tar.xz |
conf/default.conf -> lib/load-configuration; conf/local.conf -> conf/{common,master,slave}.conf
Diffstat (limited to 'bin/ping-from-slave')
-rwxr-xr-x | bin/ping-from-slave | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/ping-from-slave b/bin/ping-from-slave index 5ba8395..bb569dd 100755 --- a/bin/ping-from-slave +++ b/bin/ping-from-slave @@ -7,8 +7,8 @@ # shellcheck disable=SC2119,SC2120 -# shellcheck source=../conf/default.conf -. "${0%/*}/../conf/default.conf" +# shellcheck source=../lib/load-configuration +. "${0%/*}/../lib/load-configuration" # TODO: receive/save some statistics about current build |