commit | 38c5788232e0e3abdd08ade55a9d4fbcda637df1 | [log] [download] |
---|---|---|
author | nicm <nicm> | Tue Jul 13 22:09:29 2021 +0000 |
committer | nicm <nicm> | Tue Jul 13 22:09:29 2021 +0000 |
tree | d7e89752b19583ba5882c6ead7f77947d993267c | |
parent | df3fe2aa72da0555106c6187e750418f0e59d901 [diff] |
Give #() commands a one second grace period where the output is empty before telling the user they aren't doing anything. GitHub issue 2774.