Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: ee1749e4fc
Fetching contributors…

Cannot retrieve contributors at this time

executable file 11 lines (10 sloc) 0.203 kb
#!/bin/bash
# Continuous type check script
while true
do
reset
(urweb -tc logitext && echo "Type check OK") &
PID=$!
inotifywait -e modify $(git ls-files) 2> /dev/null
kill $PID
done
Jump to Line
Something went wrong with that request. Please try again.