Extract source commands of an existing gnome terminal session?
103133
.bashrc overwritten but still sourced -- how can it be recovered?
112632
How can I find the source code for linux commands?
113995
How do I retrieve only the needed line from terminal output?
142497
How do i run a UNIX terminal from Java and send commands to it?
110683
Is there an SSH client which duplicates commands to multiple terminals?
82805
How to get the location of a program in Ubuntu terminal?
19565
Restore default apt repositories in sources.list from command line
108700
Command-line completion from command history
40840
what's going in /usr/bin/gnome-terminal?
146844
How do I *reliably* and *simply* get the current shell interpreter name?
95464
How to cleanly launch a GUI app via the Terminal?
128010
How can I see a history of the terminal output, not just commands entered?
117553
Some fast way to save and restore tabs of Terminal?
95458
How do I get command name of the last executed command?
94547
Find package name using terminal
10754
determining path to sourced shell script
135773
Make a Launcher for a Privileged Terminal Command