Una delle prime cose che faccio quando la mattina entro nel pc al lavoro, è aprire alcuni terminali.
Di solito uso Terminator che è un emulatore di terminale per Linux che consente di aprire e gestire più finestre di terminale all'interno di una sola finestra.
Ha diverse caratteristiche interessanti, anche se la sua configurazione non è molto intuitiva per certi aspetti.
La suddivisione in 4 terminali della finestra di Terminator è definita come un layout nel suo file di configurazione.
Ho quindi aggiunto un layout personalizzato server dalla finestra delle preferenze.
Si può anche modificare direttamente il file di configurazione:
$ nano ~/.config/terminator/config
[global_config]
enabled_plugins = CustomCommandsMenu, APTURLHandler
suppress_multiple_term_dialog = True
[keybindings]
[profiles]
[[default]]
background_darkness = 0.85
font = Monospace 9
scrollback_lines = 2000
use_system_font = False
[layouts]
[[default]]
[[[child1]]]
parent = window0
type = Terminal
command = ""
[[[window0]]]
parent = ""
type = Window
[[servers]]
[[[child0]]]
type = Window
parent = ""
order = 0
position = 0:0
maximised = True
fullscreen = False
size = 1920, 995
title = admin@node01: ~
last_active_term = 428ce1c8-9aed-4acf-a481-45a18c5f54a9
last_active_window = True
[[[child1]]]
type = HPaned
parent = child0
order = 0
position = 958
ratio = 0.5002610966057441
[[[child2]]]
type = VPaned
parent = child1
order = 0
position = 495
ratio = 0.5
[[[terminal3]]]
type = Terminal
parent = child2
order = 0
profile = default
uuid = a1b21c6d-82fa-4907-9b35-838b3743bb62
command = ""
[[[terminal4]]]
type = Terminal
parent = child2
order = 1
profile = default
uuid = 9a8f88b6-22e6-49f4-865f-d100a84fa56e
command = ""
[[[child5]]]
type = VPaned
parent = child1
order = 1
position = 496
ratio = 0.5
[[[terminal6]]]
type = Terminal
parent = child5
order = 0
profile = default
uuid = 716efc36-9385-4b79-898f-a437165c439b
command = ""
[[[terminal7]]]
type = Terminal
parent = child5
order = 1
profile = default
uuid = 428ce1c8-9aed-4acf-a481-45a18c5f54a9
command = ""
[plugins]
Adesso è possibile avviare Terminator specificando di usare il layout server:
terminator --layout=servers
Infine, ho creato un launcher apposito per gnome-shell con MenuLibre per eseguire il comando sopra.
Top comments (0)