Вы не можете выбрать более 25 тем Темы должны начинаться с буквы или цифры, могут содержать дефисы(-) и должны содержать не более 35 символов.

5 лет назад
12345678910111213141516
  1. set -eu
  2. THIS_SCRIPT=$(readlink -m $0)
  3. HERE=$(dirname ${THIS_SCRIPT})
  4. ROOT=$(dirname ${HERE})
  5. while true; do
  6. echo "Watching for changes..."
  7. inotifywait -r ${ROOT}/docs/ -q \
  8. -e modify \
  9. -e close_write \
  10. -e move \
  11. -e delete \
  12. -e create
  13. make docs || :
  14. done