Nevar pievienot vairāk kā 25 tēmas
Tēmai ir jāsākas ar burtu vai ciparu, tā var saturēt domu zīmes ('-') un var būt līdz 35 simboliem gara.
|
- set -eu
-
- THIS_SCRIPT=$(readlink -m $0)
- HERE=$(dirname ${THIS_SCRIPT})
- ROOT=$(dirname ${HERE})
-
- while true; do
- echo "Watching for changes..."
- inotifywait -r ${ROOT}/docs/ -q \
- -e modify \
- -e close_write \
- -e move \
- -e delete \
- -e create
- make docs || :
- done
|