[darcs-devel] character set representations for 'darcs replace'

Henning Thielemann lemming at henning-thielemann.de
Thu Jan 4 19:38:53 UTC 2018


'darcs replace --help' says:

"However if the old and/or new token contains either a hyphen or period, 
BOTH hyphen and period are treated as valid (i.e. `[A-Za-z0-9_.-]`)."

However, these two differ:

$ darcs replace bar M.bar text
$ darcs replace --token-chars="[A-Za-z0-9_.-]" foo M.foo text
$ darcs whatsnew
replace ./text [A-Za-z_0-9\-\.] bar M.bar
replace ./text [A-Za-z0-9_.-] foo M.foo

I guess these are only two different representations of the same character 
set. I was confused, though.


More information about the darcs-devel mailing list