removed obsolete Goal.local_future_enforced: Toplevel.run_command is no longer interactive, so Goal.local_future_enabled is sufficient (cf. 349e9223c685 and e07dacec79e7);
#!/usr/bin/env bash
#
# rsync server start script
/usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf