Thus said Michai Ramakers on Sat, 28 Feb 2015 10:44:59 +0100: > I'll pick this one up. Did you mean to change the actual option-names > too?
My vote is to leave checkin without the dash, and after a bit of sed, Knuth would agree: lynx --dump http://www-cs-faculty.stanford.edu/~uno/email.html | sed -e 's/[Ee]\([-]*\)mail/check\1in/g' Andy -- TAI64 timestamp: 4000000054f22a45 _______________________________________________ fossil-users mailing list fossil-users@lists.fossil-scm.org http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
