[GRASS-dev] [GRASS GIS] #3479: command line history access

#3479: command line history access
-------------------------+-------------------------
Reporter: vincent | Owner: grass-dev@…
     Type: enhancement | Status: new
Priority: normal | Milestone: 8.0.0
Component: wxGUI | Version: unspecified
Keywords: | CPU: Unspecified
Platform: All |
-------------------------+-------------------------
Running commands from the terminal allows to keep them recorded in the
mapset history file. Recalling a previous command is therefore easily done
via the terminal ctrl+r shortcut (or up/down arrows). But sometimes it is
convenient to have the .bash_history file open in order to repeat/retrieve
a remote sequence of past commands.

Would it be a good idea to add a thumbnail to the wxGUI dedicated to the
display of the history file, allowing to perform copy/paste actions
between wxGUI and the terminal ?

--
Ticket URL: <https://trac.osgeo.org/grass/ticket/3479&gt;
GRASS GIS <https://grass.osgeo.org>