Eric S. Raymond wrote on Fri, Nov 30, 2012 at 05:36:17 -0500: > Daniel Shahaf <d...@daniel.shahaf.name>: > > If you can have a username= in the per-server section, you probably can > > have it _today_ in the [global] section too and it would take effect > > (just like N other options that can be set at either global or > > per-server scope)... > > > > So you'd need to invent a new option? > > Maybe not. That would be good. > > Where is this documented?
Existing parameters, as well as the semantics of the [global] section, are documented in the default 'servers' file: % rm -rf d % svn help --config-dir=d >/dev/null % $PAGER d/servers
