[GRASS-dev] gis.m command tool

[Hamish]

Hi,

In reviewing the gis.m man page, I notice this:

<DT><img src="icons/gui-cmd.gif"> Add command layer</DT>
<DD>Adds a layer in which a GRASS GIS command or command list can be entered.
For a command list use the pipe symbol as "|" as separator.
For example:

<div class="code"><pre>
  d.rast soils | d.rast -o roads | d.vect streams col=blue
</pre></div>

Note that when an option of the command contains spaces, you need to
escape them with the backslash ('\') character, for example:<BR>
<tt>d.text.freetype text=Population\ density</tt>
</DD>


any reason why that is not using ';' for the command sep? It would seem to make a lot more sense, match other bgcmd='s etc.


Hamish