diff options
| author | Hsieh Chin Fan <typebrook@gmail.com> | 2022-08-16 10:31:54 +0800 |
|---|---|---|
| committer | Hsieh Chin Fan <typebrook@gmail.com> | 2022-08-16 10:31:54 +0800 |
| commit | 3567c006c462fb1e046b71840b73b0bf4d6bade1 (patch) | |
| tree | 9c2979457ad688452c2256efef3ab219e19043d0 /tools | |
| parent | 4fa470bd9e66de687b0c8093d121a6f44bfbcc0a (diff) | |
Update
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/task/tkk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/task/tkk b/tools/task/tkk index af2dcfe..148d3f6 100755 --- a/tools/task/tkk +++ b/tools/task/tkk | |||
| @@ -1,6 +1,7 @@ | |||
| 1 | #! /bin/bash | 1 | #! /bin/bash |
| 2 | 2 | ||
| 3 | PS1='task ' | 3 | PS1='task ' |
| 4 | while read -r -p 'task ' line </dev/tty; do | 4 | while true; do |
| 5 | read -r -p 'task ' line </dev/tty; | ||
| 5 | task $line | 6 | task $line |
| 6 | done | 7 | done |