diff options
author | Hsieh Chin Fan <pham@topo.tw> | 2023-02-14 13:33:23 +0800 |
---|---|---|
committer | Hsieh Chin Fan <pham@topo.tw> | 2023-02-14 13:33:23 +0800 |
commit | 6fae25b305d714b3ab7608fa003f1af9bf024545 (patch) | |
tree | 05507b2c0505659d2fd847ecce988dacab63a236 /tools/misc/refresh-todo.sh | |
parent | 41ad31a2dee9ff912f222652f022b4c55cddcbf7 (diff) |
Rename tools into bin
Diffstat (limited to 'tools/misc/refresh-todo.sh')
-rwxr-xr-x | tools/misc/refresh-todo.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/misc/refresh-todo.sh b/tools/misc/refresh-todo.sh deleted file mode 100755 index 7931536..0000000 --- a/tools/misc/refresh-todo.sh +++ /dev/null | |||
@@ -1,5 +0,0 @@ | |||
1 | #!/bin/bash | ||
2 | |||
3 | # $1 as file, $2 as topic (Daily, Weekly, Monthly) | ||
4 | # change markdown check-list to empty | ||
5 | sed -i "/^## $2/,/^$/ s/\[.\]/\[ \]/" $1 | ||