Opened 7 years ago
#3479 new enhancement
command line history access
Reported by: | vincent | Owned by: | |
---|---|---|---|
Priority: | normal | Milestone: | 8.0.0 |
Component: | wxGUI | Version: | unspecified |
Keywords: | Cc: | ||
CPU: | Unspecified | Platform: | All |
Description
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 ?
Note:
See TracTickets
for help on using tickets.