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/delete-packages | |
| 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/delete-packages')
| -rwxr-xr-x | bin/delete-packages | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/delete-packages b/bin/delete-packages index 0065752..116b12d 100755 --- a/bin/delete-packages +++ b/bin/delete-packages @@ -11,8 +11,8 @@ # shellcheck disable=SC2039,SC2119,SC2120 -# shellcheck source=../conf/default.conf -. "${0%/*}/../conf/default.conf" +# shellcheck source=../lib/load-configuration +. "${0%/*}/../lib/load-configuration" # TODO: delete other to-be-deleted packages if asked to do so |