blob: 544c37126e771f0ff124b0f6dcd0f161e8f68423 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#!/bin/sh
term() {
echo "--> Got SIGTERM"
echo "--> killing inotifywait with PID $inotifywait"
kill -TERM "$inotifywait"
}
srcdir="$1"
trap term SIGTERM
inotifywait -mr -e close_write --format %w%f $srcdir | while read -r FILE; do
case "$FILE" in
*consts.rs)
echo "--> patching $FILE"
sed -i '/pub type U1024/d;/pub type P1024/d' $FILE
echo "--> finished patching $FILE"
;;
esac
done &
inotifywait=$(ps -ef | grep inotifywait | grep -v grep | tr -s ' ' | cut -d ' ' -f2)
echo "--> waiting for inotifywait $inotifywait"
wait "$inotifywait"
echo "--> watcher terminated"
|