diff options
-rw-r--r-- | accounts/gkleen@sif/zshrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/accounts/gkleen@sif/zshrc b/accounts/gkleen@sif/zshrc index b52febf7..abc200c6 100644 --- a/accounts/gkleen@sif/zshrc +++ b/accounts/gkleen@sif/zshrc | |||
@@ -65,7 +65,7 @@ dir() { | |||
65 | modifyPDF="" | 65 | modifyPDF="" |
66 | fi | 66 | fi |
67 | if [[ -n ${miniservePIDFile} ]]; then | 67 | if [[ -n ${miniservePIDFile} ]]; then |
68 | kill --verbose $(cat ${miniservePIDFile}) && wait $(cat ${miniservePIDFile}) | 68 | command kill --verbose -- $(cat ${miniservePIDFile}) && wait $(cat ${miniservePIDFile}) |
69 | miniservePIDFile="" | 69 | miniservePIDFile="" |
70 | fi | 70 | fi |
71 | } | 71 | } |