g.mapset manual: clarify where shell history is written

git-svn-id: https://svn.osgeo.org/grass/grass/trunk@71746 15284696-431f-4ddb-bdfa-cd5b030d7da7

general/g.mapset/g.mapset.html

@@ -3,14 +3,18 @@
 <em>g.mapset</em> changes the current working MAPSET, LOCATION, or GISDBASE.
 This is a fairly radical maneuver to run mid-session, take care when running
 the GUI at the same time.
-
+<p>
+With <em>g.mapset</em>, the shell history (i.e. <tt>.bash_history</tt> file
+of the initial location will be used to record the command history.
 
 <h2>NOTES</h2>
 
-The shell continues to use the history for the old mapset. To change this 
-you can switch the history to the new settings by commands. For Bash:
+By default, the shell continues to use the history for the old mapset.
+To change this behaviour the history can be switched to record in the new
+mapset's history file as follows:
 
 <div class="code"><pre>
+# bash example
 history -w
 history -r /"$GISDBASE/$LOCATION/$MAPSET"/.bash_history
 HISTFILE=/"$GISDBASE/$LOCATION/$MAPSET"/.bash_history