[darcs-devel] [issue1373] Manual for darcs replace is erroneous?

[gwern]

New submission from gwern <gwern0 at gmail.com>:

http://darcs.net/manual/node8.html#SECTION00854000000000000000 :

"If you prefer to choose a different set of characters to define your token
(perhaps because you are programming in some other language), you may do so with
the --token-chars option. You may prefer to define tokens in terms of delimiting
characters instead of allowed characters using a flag such as --token-chars '[^
\n\t]', which would define a token as being white-space delimited."

10:30 AM] 1.2Mb$ darcs replace --token-chars '[^\ \n\t]' foo bar *

darcs failed:  Bad token spec: '[^\ \n\t]' (Space is not allowed in the spec)
[10:30 AM] 1.2Mb$ darcs --version
2.2.0pre2 (+ 88 patches)

---

On a side note, does anyone know why this fails? I've read the manual but it
doesn't help much:

[10:31 AM] 1.2Mb$ darcs replace
"https://secure.wikimedia.org/wikipedia/en/wiki/" "Wikipedia" Threats.page 
darcs failed:  'https://secure.wikimedia.org/wikipedia/en/wiki/' is not a valid
token!

----------
messages: 7364
nosy: dmitry.kurochkin, gwern, kowey, simon, thorkilnaur
priority: bug
status: unread
title: Manual for darcs replace is erroneous?

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1373>
__________________________________