File tree Expand file tree Collapse file tree 1 file changed +8
-7
lines changed Expand file tree Collapse file tree 1 file changed +8
-7
lines changed Original file line number Diff line number Diff line change @@ -112,12 +112,13 @@ tasks:
112
112
fi
113
113
fi
114
114
- |
115
- PIP_FLAG="--user"
116
- if which python3 | grep $HOME
117
- then PIP_FLAG=""
118
- fi
119
115
if ! python3 -m pip list | grep watchfiles >/dev/null 2>/dev/null
120
- then python3 -m pip install $PIP_FLAG watchfiles asyncio
116
+ then
117
+ PIP_FLAG="--user"
118
+ if which python3 | grep $HOME >/dev/null
119
+ then PIP_FLAG=""
120
+ fi
121
+ python3 -m pip install $PIP_FLAG watchfiles asyncio
121
122
fi
122
123
- |
123
124
if ! which http-server >/dev/null 2>/dev/null
@@ -126,7 +127,7 @@ tasks:
126
127
- task : kill
127
128
128
129
kill :
129
- silent : false
130
+ silent : true
130
131
ignore : true
131
132
cmds :
132
133
- |
@@ -142,7 +143,7 @@ tasks:
142
143
do
143
144
echo Terminating $PID in $GRP
144
145
if test "$GRP" = "$PGRP"
145
- then echo $GRP $PID
146
+ then # echo $GRP $PID
146
147
kill -9 "$PID"
147
148
LOOP=true
148
149
fi
You can’t perform that action at this time.
0 commit comments