inotify: process all inotify events in one batch
When several inotify events happen, we don't have to process each event
separately, calling everytime repowatcher.read_events() to fetch events from
the underlying watcher: it is sufficient to call once read_events, to fetch
all the events from the watcher.
#!/bin/sh
#
hg init foo
cd foo
touch a
unset HGUSER
echo "[ui]" >> .hg/hgrc
echo "username= foo" >> .hg/hgrc
echo " bar1" >> .hg/hgrc
hg ci -Am m
rm .hg/hgrc
HGUSER=`(echo foo; echo bar2)` hg ci -Am m
hg ci -Am m -u "`(echo foo; echo bar3)`"
true