Non sembra esserci alcuna funzionalità gnome-terminalper 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-terminalprofilo 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 Tabper aprire una nuova scheda con il profilo selezionato.
Profilo riutilizzabile
Crea un nuovo gnome-terminalprofilo 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-terminalfinestre 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-terminalprofilo ( File -> New Profile) basato sul Defaultprofilo e chiamalo "RemoteHost" (nota, nessuno spazio in "RemoteHost" per facilitare i comandi).
- Nella
Title and Commandscheda, modifica:
Initial title: a "Host remoto"
When terminal commands set their own titles: per Replace initial title
- Nella
Colorsscheda, 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
Closepulsante per salvare il tuo nuovo profilo.
- Ora puoi aprire una nuova
gnome-terminalfinestra per ogni host SSH remoto usando il comando gnome-terminal --window-with-profile=RemoteHost -t "Some Remote SSH Host" -x ssh user@somehost. L' -topzione imposta il gnome-terminaltitolo della finestra e l' -xopzione esegue il resto della riga di comando nel terminale. Si potrebbe anche fare un aliasaccorciamento dei tasti totali.
Riga di comando
Ho trovato questo post di blog con il seguente script che utilizza i comandi xdotoole 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-terminalfinestra 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-terminalprofilo 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-terminaltitolo 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 Terminaltitolo standard .