diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-20 11:55:09 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-20 11:55:09 +0200 |
| commit | 7149dcb5609f553697c01951227d69f1b888cf12 (patch) | |
| tree | 8300c1434593d82e0702228368ca6f40cfcdc57c | |
| parent | 7fda9443ca27c2937c3ba502b45ea6af2556c411 (diff) | |
| download | builder-7149dcb5609f553697c01951227d69f1b888cf12.tar.xz | |
bin/seed-build-list: add TODO
| -rwxr-xr-x | bin/seed-build-list | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/seed-build-list b/bin/seed-build-list index cfcd49e..25b7f42 100755 --- a/bin/seed-build-list +++ b/bin/seed-build-list @@ -5,6 +5,9 @@ # shellcheck source=../lib/load-configuration . "${0%/*}/../lib/load-configuration" +# TODO: upon un-deleting a package, actually _remove_ it from the +# deletion-list + # shellcheck disable=SC2016 usage() { >&2 echo '' |