Risposte:
Per prima cosa imposta il mondo "Terminale" in modo che appaia nel titolo della finestra del tuo terminale gnomo. Per fare ciò, quando sei in gnome-terminal vai su Modifica → Preferenze profilo , seleziona la scheda Titolo e comando e assicurati che il campo Titolo iniziale contenga la parola "Terminale":
In secondo luogo, aggiungi una nuova scorciatoia da tastiera personalizzata per il seguente comando:
bash -c "[[ \"$(cat /proc/$(xdotool getwindowpid $(xdotool getwindowfocus))/comm)\" != \"gnome-terminal\" ]] && wmctrl -a Terminal || xdotool key Alt+grave"
Per fare ciò, vai su Impostazioni di sistema → Tastiera , scheda Collegamenti , seleziona Collegamento personalizzato e aggiungi un nuovo collegamento personalizzato:
Come puoi vedere, ho scelto come F8tasto di scelta rapida che in questo caso funziona alla grande per me.
Nota : wmctrl
e xdotool
deve essere installato per poterli utilizzare. Se non li hai installati, puoi installarli dal terminale usando:
sudo apt-get install wmctrl xdotool