diff options
| author | Erich Eckner <git@eckner.net> | 2017-09-19 20:53:29 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-09-19 20:53:29 +0200 |
| commit | 4e428ad58fce6daf7bf635a352312f2e6bfe2ae9 (patch) | |
| tree | d1405dafffd0e31135f16369d5f9dccb350169f0 | |
| parent | a2e015f788c9d94ee495ce7f4d3923fb9e1e6a93 (diff) | |
| download | builder-4e428ad58fce6daf7bf635a352312f2e6bfe2ae9.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 46a4d24..5b0dbac 100755 --- a/bin/db-update +++ b/bin/db-update @@ -18,6 +18,9 @@ # TODO: correctly handle if a package moved from community to official or # vice versa (delete residues) +# TODO: mark a package as tested if it shall be stabilized but +# can't due to pending dependent packages + # shellcheck disable=SC2039 # shellcheck source=conf/default.conf . "${0%/*}/../conf/default.conf" |