Gnome-terminal window id cannot be found by xdotool nor wmctrl
|
|
5
|
124
|
May 20, 2023
|
Gnome Terminal appears minimized when open through the file manager
|
|
1
|
72
|
May 12, 2023
|
Launching Multiple Tabs in Gnome Terminal
|
|
2
|
227
|
March 23, 2023
|
Terminal: How to select many lines? by finding regular expression? found another solution!
|
|
1
|
91
|
March 9, 2023
|
Add the possibility to change the Terminal window name from the menu
|
|
1
|
77
|
February 1, 2023
|
Integrate Gnome-Terminal with the dark mode settings
|
|
1
|
145
|
December 23, 2022
|
How do you change default terminal?
|
|
3
|
3012
|
June 28, 2022
|
[how to] How to preserve my color scheme on gnome-terminal for future use
|
|
1
|
200
|
April 20, 2022
|
Implementing font size in gnome-terminal
|
|
1
|
255
|
January 12, 2022
|
Automounting Internal drives
|
|
7
|
288
|
December 9, 2021
|
Gnome Terminal does not change tab title when SSHing into other machines
|
|
5
|
408
|
November 19, 2021
|
How do I hide the headerbar / for just gnome-terminal?
|
|
2
|
864
|
January 27, 2021
|