have the same no-update semantics for 'case' as for 'Ctr_Sugar' and BNF data (this might not be the final word on the matter, but using a consistent policy seems like a good idea)
#!/usr/bin/env bash
#
# rsync server start script
/usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf