aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEuAndreh <eu@euandre.org>2021-08-15 15:52:23 -0300
committerEuAndreh <eu@euandre.org>2021-08-15 15:52:23 -0300
commit06e427245843d27c94efe19ca030bdf3340939fd (patch)
tree456dbfb63be0cd11683c1beae4809d376464a6cd
parentTODOs.md: Add update message to #task-ab7d98bb-7557-1891-b102-a48942d762be (diff)
downloadgit-permalink-06e427245843d27c94efe19ca030bdf3340939fd.tar.gz
git-permalink-06e427245843d27c94efe19ca030bdf3340939fd.tar.xz
TODOs.md: Add #task-4a7e02bd-ab82-c628-fa1c-02749c178936
-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