Zarządzanie profilami

Profil jest zestawem ustawień Terminala. Terminal obsługuje wiele profili. Można skonfigurować profile Terminala na wykonywanie niestandardowego polecenia lub powłoki, ustawić profil tylko do łączenia ze zdalnymi komputerami za pomocą protokołu SSH lub ustawić profil uruchamiający sesję GNU Screen.

Dostępne ustawienia Terminala:

  • Nazwa profilu.

  • Kolory czcionki i tła.

  • Zgodność z klawiszami Backspace i Delete.

  • Przewijanie.

Wybór profilu

Jeśli określone są dwa lub więcej profili, to można zmienić profil w obecnej karcie lub oknie Terminala wybierając go z menu Terminal ▸ Zmień profil.

Tworzenie nowego profilu

Aby utworzyć nowy profil z domyślnymi ustawieniami Terminala:

  1. Wybierz Edycja ▸ Preferencje.

  2. W panelu bocznym kliknij przycisk + obok etykiety Profile.

  3. Wpisz nazwę nowego profilu. Można ją zmienić później.

  4. Kliknij przycisk Utwórz, aby utworzyć nowy profil.

  5. Ustaw preferencje profilu. Zostaną one zapisane automatycznie.

Tworzenie nowego profilu na podstawie istniejącego

Można utworzyć nowy profil na podstawie ustawień z istniejącego profilu:

  1. Wybierz Edycja ▸ Preferencje.

  2. W panelu bocznym wybierz profil, na podstawie którego utworzyć nowy.

  3. Kliknij strzałkę obok nazwy profilu.

  4. Wybierz Sklonuj….

  5. Wpisz nazwę nowego profilu. Można ją zmienić później.

  6. Kliknij przycisk Sklonuj, aby utworzyć nowy profil.

  7. Ustaw preferencje profilu. Zostaną one zapisane automatycznie.

Utworzenie nowego profilu z istniejącego nie wpłynie na ustawienia w istniejącym profilu. Wszystkie zmiany ustawień zostaną wprowadzone do nowego profilu.

Modyfikowanie profilu

Po modyfikacji domyślnego profilu nie może on zostać przywrócony do jego oryginalnych ustawień. Jeśli nie utworzono jeszcze innego profilu Terminala i zmieniono domyślny profil, to Terminal może stać się nieużywalny, jeśli jakieś ustawienie powoduje problemy. Zalecane jest utworzenie kopii domyślnego profilu, a następnie zmodyfikowanie kopii, aby utworzyć niestandardowy profil.

Można zmieniać istniejące profile:

  1. Wybierz Edycja ▸ Preferencje.

  2. Obecny profil jest zaznaczony w panelu bocznym. Aby zmodyfikować inny profil, kliknij jego nazwę.

Po wybraniu profilu można:

  1. Wybierz czcionkę, kształt kursora i rozmiar Terminala.

  2. Można także zmienić zachowanie Terminala po zakończeniu polecenia, ustawić niestandardową powłokę logowania lub zmienić preferencje przewijania.

  3. Schematy kolorów Terminala umożliwiają zmienianie kolorów tła i tekstu Terminala.

  4. Zmiany profilu są zapisywane od razu. Aby wrócić do Terminala, kliknij przycisk Zamknij.

Zmiana nazwy istniejącego profilu

Można zmieniać nazwy istniejących profilów, w tym domyślnego:

  1. Wybierz Edycja ▸ Preferencje.

  2. Wybierz profil do zmiany nazwy.

  3. Kliknij strzałkę obok nazwy profilu.

  4. Wybierz Zmień nazwę….

  5. Wpisz nową nazwę profilu.

  6. Kliknij przycisk Zmień nazwę, aby zmienić nazwę.

Usuwanie profilu

Aby usunąć profil:

  1. Wybierz Edycja ▸ Preferencje.

  2. Wybierz profil do usunięcia.

  3. Kliknij strzałkę obok nazwy profilu.

  4. Wybierz Usuń….

  5. Kliknij przycisk Usuń, aby potwierdzić.

Nie można usunąć domyślnego profilu. Aby usunąć ten profil, najpierw ustaw inny jako domyślny.

Ustawianie domyślnego profilu

Domyślny profil jest wczytywany podczas otwierania nowego terminala, chyba że wybrano inny profil. Wszystkie wprowadzone zmiany ustawień zostaną zapisane w obecnie wybranym profilu.

Domyślny profil jest używany, kiedy Terminal nie może zdecydować, jakiego profilu użyć. Na przykład, Terminal jest uruchamiany od zera i otwiera pierwsze okno terminala. Podczas używania menu lub skrótu klawiszowego Terminala do otwarcia nowego terminala używany jest profil istniejącego.

  1. Wybierz Edycja ▸ Preferencje.

  2. Wybierz profil do ustawienia jako domyślny.

  3. Kliknij strzałkę obok nazwy profilu.

  4. Wybierz Ustaw jako domyślny.

Domyślny profil jest oznaczony haczykiem.