index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-03-24 20:51:16 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-03-24 20:51:16 +0100 |
commit | 8db7e5acbe9de5f44ed79ba4ce11947b3586338f (patch) | |
tree | 7ebcf856ded618abcd405963f1369db013cf5de3 /bin/delete-packages | |
parent | 913da48c13219d5f2074880645cbaab0c76376f5 (diff) |
-rwxr-xr-x | bin/delete-packages | 2 |
diff --git a/bin/delete-packages b/bin/delete-packages index 4343bc7..35ce8dd 100755 --- a/bin/delete-packages +++ b/bin/delete-packages @@ -10,7 +10,7 @@ # is provided by y and no other package which will not be deleted. # shellcheck disable=SC2039 -# shellcheck source=conf/default.conf +# shellcheck source=../conf/default.conf . "${0%/*}/../conf/default.conf" # TODO: delete other to-be-deleted packages if asked to do so |