aboutsummaryrefslogtreecommitdiff
path: root/TODOs.md
diff options
context:
space:
mode:
Diffstat (limited to 'TODOs.md')
-rw-r--r--TODOs.md13
1 files changed, 13 insertions, 0 deletions
diff --git a/TODOs.md b/TODOs.md
index 0285611..daac55d 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -1,5 +1,18 @@
# Tasks
+## TODO Improve `installcheck.sh` {#task-4a7e02bd-ab82-c628-fa1c-02749c178936}
+- TODO in 2021-08-15
+
+---
+
+1. can run `make clean public dev-check` from a tarball;
+2. after cleaning the director, it is back to its original state (in file count,
+ maybe?);
+3. can run `make clean public dev-check from a Git clone;
+4. after running it, there are no diffs;
+5. after running clean, there are also no diffs;
+6. `git clean -ffdx` reports zero files or directories.
+
## TODO Reduce size of the produced image {#task-77737feb-62ea-b34c-6ab0-cbe8a8827f39}
- TODO in 2021-08-13