Nie wydaje się, gnome-terminal
aby dodawać nową kartę do istniejącego okna z wiersza polecenia. Ale istnieje kilka opcji, aby osiągnąć to, czego chcesz.
Według profili poleceń
Utwórz nowy gnome-terminal
profil dla każdego hosta, na którym będziesz SSH. Jeśli masz tylko kilka hostów, z którymi regularnie się łączysz, może to być najprostsze. Każdy profil może mieć inny tytuł, kolor pierwszego planu, kolor tła, niestandardowe polecenie i inne zdefiniowane ustawienia. Następnie możesz użyć, File -> Open Tab
aby otworzyć nową kartę z wybranym profilem.
Profil wielokrotnego użytku
Utwórz nowy gnome-terminal
profil, który będzie używany do otwierania nowego okna za każdym razem, gdy chcesz połączyć się z innym hostem SSH (na podstawie tej odpowiedzi AskUbuntu, na którą wskazał Stefano ). To działałoby dobrze, jeśli często łączysz się z wieloma różnymi hostami. Nie pozwoli to na rozróżnienie między różnymi gnome-terminal
oknami, w których jesteś podłączony do różnych hostów wyłącznie w kolorach tła / pierwszego planu, ale będziesz mieć inny tytuł dla każdego okna.
- Utwórz nowy
gnome-terminal
profil ( File -> New Profile
) na podstawie Default
profilu i nazwij go „RemoteHost” (uwaga, brak spacji w „RemoteHost”, aby ułatwić komendy).
- W
Title and Command
zakładce zmień:
Initial title:
do „hosta zdalnego”
When terminal commands set their own titles:
do Replace initial title
- W
Colors
zakładce zmień:
- Odznacz
Use colors from system theme
Build-in schemes:
do Custom
Text color:
i Background color:
do wybranych przez ciebie kolorów. Należy pamiętać, że niektóre polecenia (np. ls
) Używają kolorów dla swoich wyników i nie chcesz wybierać kolorów, które utrudniają odczytanie wyników.
- Kliknij
Close
przycisk, aby zapisać nowy profil.
- Teraz możesz otworzyć nowe
gnome-terminal
okno dla każdego zdalnego hosta SSH za pomocą polecenia gnome-terminal --window-with-profile=RemoteHost -t "Some Remote SSH Host" -x ssh user@somehost
. -t
Opcja ustawia gnome-terminal
tytuł okna, a -x
opcja wykona resztę linii poleceń w terminalu. Możesz nawet alias
skrócić całkowitą liczbę naciśnięć klawiszy.
Wiersz poleceń
Znalazłem ten wpis na blogu z następującym skryptem, który używa poleceń xdotool
i wmctrl
(nie były one domyślnie instalowane na Ubuntu, więc być może trzeba je najpierw zainstalować), aby użyć skrótu klawiaturowego gnome-terminal
Ctrl+ Shift+, taby otworzyć nową kartę w bieżącym gnome-terminal
oknie . Można go zmodyfikować, aby otworzyć nową kartę z określonym profilem i wykonać dla Ciebie polecenie.
#!/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
Inny
Możesz być kreatywny i spróbować innych rzeczy.
Ta odpowiedź SuperUser używa w zasadzie trochę akrobatów „script-fu”, aby utworzyć tymczasowy gnome-terminal
profil, który służy do otwierania nowego okna. Może być zmodyfikowany do twojego użytku.
Prawdopodobnie możesz użyć tego pytania i odpowiedzi StackOverflow oraz innych akrobatów „script-fu”, aby dynamicznie zmieniać gnome-terminal
tytuł za każdym razem, gdy SSH łączy się ze zdalnym hostem. Nie byłby tak widoczny jak zmiany koloru tła / pierwszego planu, ale byłby lepszy od standardowego Terminal
tytułu przez cały czas.