diff options
author | Erich Eckner <git@eckner.net> | 2020-06-18 20:29:19 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-06-18 20:29:19 +0200 |
commit | 14715e6e424288b1d9906b30be8eeeaab7ede95d (patch) | |
tree | 040fea0bb3a02705674bc4cf1035a796293febf8 | |
parent | a2e53459ed9084391fc8c13060f4d9f014f2f7d7 (diff) | |
download | builder-14715e6e424288b1d9906b30be8eeeaab7ede95d.tar.xz |
bin/db-update: add TODO
-rwxr-xr-x | bin/db-update | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/db-update b/bin/db-update index bd6b3cf..df54bab 100755 --- a/bin/db-update +++ b/bin/db-update @@ -11,6 +11,9 @@ # TODO: intentionally break packages that failed to build for a certain time +# TODO: -p seems to try to move stuff from community to community and from +# extra to extra - which of course leads to problems. + # shellcheck disable=SC2039,SC2119,SC2120 # shellcheck source=../lib/load-configuration |