discontinued Drule.term_rule, which tends to cause confusion due to builtin cterm_of (NB: the standard morphisms already provide a separate term component);
#!/usr/bin/env bash
#
# rsync server start script
/usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf