index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2017-10-31 08:07:57 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-10-31 08:07:57 +0100 |
commit | d14a11c9b9f993305188b6b9972ddfd09557957c (patch) | |
tree | 5b30f4e8041795f77639a6967155f445b22414af /bin | |
parent | 938ec13f0e4bc4d1f1a9d00a28782cd26954e54d (diff) |
-rwxr-xr-x | bin/db-update | 2 |
diff --git a/bin/db-update b/bin/db-update index 9b3f92f..992f183 100755 --- a/bin/db-update +++ b/bin/db-update @@ -16,6 +16,8 @@ # TODO: handle deletion of parts of a split package +# TODO: Who deletes state files of packages too early??? + # shellcheck disable=SC2039 # shellcheck source=conf/default.conf . "${0%/*}/../conf/default.conf" |