Non sembra esserci alcuna funzionalità gnome-terminal
per aggiungere una nuova scheda a una finestra esistente dalla riga di comando. Ma ci sono alcune opzioni per realizzare ciò che desideri.
Profili per comando
Crea un nuovo gnome-terminal
profilo per ogni host in cui SSH. Se hai solo pochi host a cui ti colleghi regolarmente, questo potrebbe essere il più semplice. Ogni profilo può avere un titolo diverso, colore di primo piano, colore di sfondo, comando personalizzato e altre impostazioni definite. Quindi è possibile utilizzare File -> Open Tab
per aprire una nuova scheda con il profilo selezionato.
Profilo riutilizzabile
Crea un nuovo gnome-terminal
profilo che verrà utilizzato per aprire una nuova finestra ogni volta che vuoi connetterti a un diverso host SSH (basato su questa risposta AskUbuntu che Stefano ha sottolineato). Funzionerebbe bene se ti connetti frequentemente a molti host diversi. Ciò non ti consentirà di distinguere tra diverse gnome-terminal
finestre in cui sei connesso a host diversi solo sui colori di sfondo / primo piano, ma avrai un titolo diverso per finestra.
- Crea un nuovo
gnome-terminal
profilo ( File -> New Profile
) basato sul Default
profilo e chiamalo "RemoteHost" (nota, nessuno spazio in "RemoteHost" per facilitare i comandi).
- Nella
Title and Command
scheda, modifica:
Initial title:
a "Host remoto"
When terminal commands set their own titles:
per Replace initial title
- Nella
Colors
scheda, modifica:
- Deseleziona
Use colors from system theme
Build-in schemes:
per Custom
Text color:
e Background color:
ai colori di tua scelta. Tieni presente che alcuni comandi (come ls
) usano i colori per il loro output e non vuoi scegliere colori che renderanno difficile leggere l'output.
- Fai clic sul
Close
pulsante per salvare il tuo nuovo profilo.
- Ora puoi aprire una nuova
gnome-terminal
finestra per ogni host SSH remoto usando il comando gnome-terminal --window-with-profile=RemoteHost -t "Some Remote SSH Host" -x ssh user@somehost
. L' -t
opzione imposta il gnome-terminal
titolo della finestra e l' -x
opzione esegue il resto della riga di comando nel terminale. Si potrebbe anche fare un alias
accorciamento dei tasti totali.
Riga di comando
Ho trovato questo post di blog con il seguente script che utilizza i comandi xdotool
e wmctrl
(non sono stati installati di default su Ubuntu, quindi potrebbe essere necessario installarli prima) per utilizzare la scorciatoia da tastiera gnome-terminal
Ctrl+ Shift+ tper aprire una nuova scheda nella gnome-terminal
finestra corrente . Potrebbe essere modificato per aprire una nuova scheda con un profilo specifico ed eseguire alcuni comandi per te.
#!/bin/bash
# Path: /usr/local/bin/gnome-terminal
if [ "x$*" != "x" ]; then
/usr/bin/gnome-terminal "$@"
else
pgrep -u "$USER" gnome-terminal | grep -qv "$$"
if [ "$?" == "0" ]; then
WID=`xdotool search --class "gnome-terminal" | head -1`
xdotool windowfocus $WID
xdotool key ctrl+shift+t
wmctrl -i -a $WID
else
/usr/bin/gnome-terminal
fi
fi
Altro
Potresti diventare creativo e provare altre cose.
Questa risposta di SuperUser utilizza fondamentalmente un po 'di acrobati "script-fu" per creare un gnome-terminal
profilo temporaneo che viene utilizzato per aprire una nuova finestra. Potrebbe essere modificato per l'uso.
Probabilmente potresti usare queste domande e risposte StackOverflow e altri acrobati "script-fu" per cambiare dinamicamente il gnome-terminal
titolo ogni volta che SSH su un host remoto. Non sarebbe così importante come i cambiamenti di colore di sfondo / primo piano, ma sarebbe sempre meglio di un Terminal
titolo standard .