diff options
| 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 | |
| parent | 938ec13f0e4bc4d1f1a9d00a28782cd26954e54d (diff) | |
| download | builder-d14a11c9b9f993305188b6b9972ddfd09557957c.tar.xz | |
bin/db-update: add TODO
| -rwxr-xr-x | bin/db-update | 2 |
1 files changed, 2 insertions, 0 deletions
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" |