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/task | |
| parent | 41ad31a2dee9ff912f222652f022b4c55cddcbf7 (diff) | |
Rename tools into bin
Diffstat (limited to 'tools/task')
| -rwxr-xr-x | tools/task/tkk | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/tools/task/tkk b/tools/task/tkk deleted file mode 100755 index 148d3f6..0000000 --- a/tools/task/tkk +++ /dev/null | |||
| @@ -1,7 +0,0 @@ | |||
| 1 | #! /bin/bash | ||
| 2 | |||
| 3 | PS1='task ' | ||
| 4 | while true; do | ||
| 5 | read -r -p 'task ' line </dev/tty; | ||
| 6 | task $line | ||
| 7 | done | ||