diff options
| author | Erich Eckner <git@eckner.net> | 2020-01-30 10:52:25 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-01-30 10:52:25 +0100 |
| commit | 15bcbb428a3c1b87511c244d32ab628e52e9cd54 (patch) | |
| tree | fac989869e77254b040bba531c3935866571128c /lib | |
| parent | f67e43ca9ba64ffdfa4c41614ce62b81936f6e4b (diff) | |
| download | builder-15bcbb428a3c1b87511c244d32ab628e52e9cd54.tar.xz | |
lib/intentions-queue: extend to-be-done schedules
Diffstat (limited to 'lib')
| -rwxr-xr-x | lib/intentions-queue | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/intentions-queue b/lib/intentions-queue index 6710eb5..e6c2e25 100755 --- a/lib/intentions-queue +++ b/lib/intentions-queue @@ -19,6 +19,7 @@ fi # 2. update package database # 3. update mysql database # 4. upload database and package to mirror +# 5. clean up temporary files # db-update would create the following scripts (after getting the usual # database lock and determining what needs to be done): # 1. download database from mirror @@ -26,6 +27,7 @@ fi # 3. update mysql database # 4. upload database to mirror # 5. update packages on mirror +# 6. clean up temporary files # intent_something # create an intention, provided on stdin |