John Gebbie
|
d1e4b66dd1
|
add --keyboard-name option
|
2023-08-16 18:40:39 +01:00 |
|
John Gebbie
|
41268e1ece
|
minor usage formatting
|
2023-05-11 11:21:13 +01:00 |
|
John Gebbie
|
874650ad22
|
/tmp/dotool_pipe -> /tmp/dotool-pipe
|
2023-04-28 16:44:54 +01:00 |
|
John Gebbie
|
c828f2d8ed
|
improve pipe error messages
|
2023-01-26 13:33:57 +00:00 |
|
John Gebbie
|
c427ab5394
|
dotoold: rm -rf pipe -> rm -f -- pipe
|
2023-01-26 13:32:57 +00:00 |
|
John Gebbie
|
9874f01cfb
|
use >&2 instead of >/dev/stderr
|
2022-11-01 10:26:02 +00:00 |
|
John Gebbie
|
761b5bd202
|
dotoold: fix background process not being killed
|
2022-10-26 11:02:33 +01:00 |
|
John Gebbie
|
4fb2cb37bf
|
dotoold: improve signal handling
|
2022-10-22 18:37:37 +01:00 |
|
John Gebbie
|
217525bf2f
|
initial commit
|
2022-10-22 13:41:10 +01:00 |
|