Czy znudzisz się wyglądem terminala? Będąc użytkownikiem Linuksa, nie możesz. A jeśli tak myślisz, ten przewodnik z pewnością zrewolucjonizuje twoje przemyślenia na temat terminalu. W tym przewodniku opracowaliśmy demonstrację proceduralną dostosowywania terminalu.
Po pierwsze, rozpal terminal:
Przejdź do trzech kropek na pasku menu:
Tutaj zauważysz niektóre ogólne opcje dostosowywania, takie jak powiększanie i powiększ bieżący wyświetlacz, przełącz do trybu pełnego ekranu, tryb terminalu i wielu innych.
Kliknij na "Preferencje„Opcja, aby uzyskać szczegółowe obsługę dostosowywania.
Czas kliknięcia „Preferencje„Doświadczysz następującego interfejsu.
Na lewym panelu „Preferencje„Okno, zauważyłeś dwie podstawowe kategorie, nazwane Światowy I Profil.
Globalny: Ta kategoria zawiera dwie wtórne opcje o nazwie General i skróty.
„„Ogólny„Opcja zawiera następujące opcje.
„Wariant motywu” terminalu: znajdziesz tutaj domyślną opcję, która jest domyślnie. Natomiast możesz również wybrać lekki lub ciemny interfejs terminala.
Zmień otwór nowej karty terminali: Nowy terminal można otworzyć w nowej karcie lub można również użyć dedykowanego okna.
Zmień pozycję nowo utworzonej karty terminali: Jeśli otworzysz nowe okno terminala, zostanie ono otwarte albo w „Ostatni”Pozycja lub„Następny”Zakładka do bieżącego.
Co więcej, „Skróty„Opcja z lewego okna zawiera kilka skrótów klawiaturowych, które są dość pomocne i sprawiają, że Twoje zadania można łatwo rozwiązać. Upewnij się, że włączyłeś te skróty:
Ponadto możesz dostosować te skróty, klikając dwukrotnie dowolne klawisze skrótów, a następnie naciskając klawisze, które chcesz ustawić na skrót. Na przykład „„Nowa karta”Obecnie jest ustawiony na„Shift+Ctrl+T".
Przypisaliśmy nowy klucz do „Nowa karta,„Teraz jest ustawiony na„Ctrl+t".
Profile: Ta kategoria jest podstawową częścią dostosowywania terminalu, w którym możesz wybrać profil domyślny lub dostosować własny.
Zróbmy nowy profil, klikając „+" opcja. Nazwaliśmy „Linuxhint„Do naszego nowego profilu.
Prawa okna zawiera kilka dostosowań, a każde dostosowanie jest odnoszone do opcji na pasku menu.
Dostosowywanie związane z tekstem
Pierwsza opcja na pasku menu jest powiązana ze zmianami związanymi z tekstem; Możesz wykonać następujące modyfikacje powiązane z tekstem dla swojego terminala:
Zmień rozmiar terminalu, zmieniając liczbę wierszy i kolumn.
Doświadczysz nowego okna zawierającego dostosowanie związane z czcionkami. Jak można zmienić rozmiar, styl czcionek.
Opcje odstępów komórkowych, polecam zachowanie ich jako domyślnych. Ponieważ ich manipulowanie nie spowoduje wyrównania. Ponieważ odstępy komórek służy do dodatkowej przestrzeni dla tekstów.
Opcje mrugającego tekstu można ustawić na jedną z dostarczonych opcji w menu kontekstowym, jak pokazano na poniższym obrazku:
Ponadto kształt kursora i miga kursora można również modyfikować.
Potem idź w kierunku „Zabarwienie„Opcja na pasku menu w celu dostosowania ustawień powiązanych z kolorami.
Kolory tekstu i tła można zmienić na podstawie dostarczonych opcji. Kolor tekstu
Co więcej, „Paleta”Można również zmienić, aby mieć lepszą estetykę tekstów i schematów kolorów.
Kolejna główna kategoria jest związana z „Przewijanie„Możesz dostosować działania związane z przewijaniem, takie jak show Scrollbar, przewijanie wyjściowe, przewijanie na klawisze. Możesz także ograniczyć przewijanie z powrotem do określonej liczby linii.
Pozostałe drobne dostosowania można wykonać, nawigacja do „Komenda" I "Zgodność”Opcje umieszczone na pasku menu.
Komenda Sekcja zawiera ustawienia związane z działaniem terminalu na poleceniach. Na przykład możesz zmienić ustawienia tego, co terminal powinien zrobić po wykonaniu polecenia:
Gdzie "Zgodność„Opcja w terminalu może być używana do dostosowania ustawień tego, co powinny zrobić klawisze Backspace i usunąć w terminalu.
Gdy tylko nowy profil jest pomyślnie dostosowany, możesz go domyślnie, klikając profil Linuxhint A potem wybieram „Ustaw jako domyślne".
Po wykonaniu tego kroku domyślna ikona zostanie umieszczona przed „Linuxhint”Profil.
Po ustawieniu profilu domyślnego ustawienia profilu domyślnego będą ładowane za każdym razem, gdy otworzysz terminal.
Wniosek
Jeśli chodzi o użycie terminalu, jego interfejs i estetyka muszą być odpowiednie dla użytkowników. I ten estetyczny wybór różni się w zależności od użytkownika. W tym artykule przeprowadziliśmy wszystkie możliwe dostosowania związane z terminalem Manjaro. Co ciekawe, możesz utworzyć nowy dostosowany profil terminalu. Za pomocą tego przewodnika możesz utworzyć swój profil za pomocą szczegółowej obsługi dostosowywania.