chpwd, userv.rc: Change Userv service protocol to parse options properly.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 22 Dec 2014 20:32:58 +0000 (20:32 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 7 Apr 2015 10:43:30 +0000 (11:43 +0100)
commitfef231404844ba34cfc0394db8967f0aa016763a
treee56ef012a689536c1e43f1f16956d97530633619
parent3351cbe5eef797b5071c8bcdbb4bdd9a31cec5ae
chpwd, userv.rc: Change Userv service protocol to parse options properly.

Options passed apparently to the service were actually being handled at
top level, so you got the wrong help text if you said `userv chpwd list
-h', for example.  This is very bad.

To fix this, we require the userv configuration to provide an explicit
non-option token to terminate top-level option handling at the right
time.
chpwd
userv.rc