Zmień rozmiar czcionki terminal Ubuntu
W tym artykule przyjrzymy się, w jaki sposób możesz zmienić rozmiar czcionki i czcionki terminalu, oprócz kilku fajniejszych dostosowań.
Krok 1: Otwórz nowe okno terminala
Pierwszym krokiem procesu jest otwarcie nowego okna terminala, skąd można wprowadzić niezbędne zmiany. Otwórz go z paska bocznego Ubuntu lub naciśnij Ctrl + Alt + T na klawiaturze.
Krok 2: Przejdź do preferencji
Następnym krokiem jest dostęp do opcji preferencji w terminalu.
Tutaj możesz skonfigurować osobistą konfigurację terminali. Ważne jest, aby pamiętać, że preferencje te są w większości ograniczone do wyglądu terminalu, a nie funkcjonalności. Nie powinieneś się martwić o błędną zmianę niektórych funkcjonalnych ustawień wiersza poleceń, ponieważ tak nie jest tutaj. Dzięki preferencjom możesz utworzyć nowy profil, który będzie zawierał i zapamięta wszystkie swoje preferencje i ładować je za każdym razem, gdy go używasz.
Śmiało i kliknij prawym przyciskiem myszy w dowolnym miejscu na terminalu i powinno się pojawić menu rozwijane. Wybierz opcję preferencji z menu. Można to również wykonać za pomocą przycisku trzech równoległych w prawej górnej części ekranu.
Krok 3: Utwórz profil
Zanim skonfigurujemy nasze preferencje i zmienimy ustawienia czcionek, najpierw musimy utworzyć nowy profil. Kliknij przycisk + tuż obok karty profili, aby rozpocząć.
Następnie zostaniesz poproszony o wprowadzenie nazwy profilu. Każdy nowy nowy profil jest najpierw podano ustawienia domyślne, jak widać w oknie dialogowym. Jednak po przygotowaniu profilu zmienimy te ustawienia na nasze własne upodobanie.
Krok 4: Zmień ustawienia czcionek
Przy uruchomieniu naszego nowego profilu nadszedł czas, abyśmy skonfigurowali nasze preferencje dotyczące czcionki terminalnej. Pierwszym krokiem jest zaznaczenie pola tuż obok opcji niestandardowej czcionki. To pozwoli nam wybrać dowolną wybraną czcionkę i ustawić jej rozmiar.
Jak widać, domyślna czcionka jest regularna Monospace z rozmiarem 12. Możemy jednak to łatwo to zmienić. Kliknij nazwę czcionki, a zobaczysz listę czcionek. Istnieje wiele opcji do wyboru i możesz wypróbować w dowolnym miejscu. Jeśli szukasz czegoś konkretnego, możesz wpisać to i wyszukać w polu wyszukiwania. Na dole jest również ustawianie rozmiaru czcionki. Po wymyśleniu kliknij przycisk Wybierz w prawym górnym rogu i sprawdź, jak wygląda czcionka w terminalu.
Krok 5: Wybierz swój profil
Teraz, gdy wszyscy są gotowi z konfiguracją czcionki, ostatnim krokiem jest wybranie utworzonego profilu. Możesz to zrobić, klikając mały przycisk strzałki obok nazwy profilu i wybierając ustawienie jako domyślne. Z tym skończonym jesteś gotowy. Uruchom ponownie terminal i należy zastosować preferencje czcionkowe.
Dodatkowe modyfikacje
Teraz, gdy mieliśmy do czynienia z „mięsem” tej sprawy, spójrzmy na kilka możliwych modyfikacji, które możemy wprowadzić w terminalu do naszych osobistych potrzeb.
Wróć do menu Preferencje, a zobaczysz więcej opcji dostosowywania tuż obok karty tekstowej. Te opcje to kolory, przewijanie, polecenie i kompatybilność. W tej sekcji krótko omówimy niektóre z tych opcji.
Zacznijmy od kolorów. Pod tekstem i nagłówkiem koloru tła znajduje się pole wyboru. Aby włączyć konfigurację użytkownika, musisz zabrać opcję „Użyj kolorów z motywu systemowego”. Następnie mamy mnóstwo opcji do odkrycia. Możesz wypróbować wbudowane schematy, bawić się w kolory tła i tekstu, wybrać wybraną paletę i więcej. Zapraszam do zabawy z tymi opcjami, ponieważ na pewno jest tu wiele do odkrycia.
Teraz, gdy skończyliśmy ustalanie naszych preferencji, spójrzmy na to, jak wyglądają wyniki.
Na koniec zbadamy kartę przewijania. Tutaj możesz wybrać, czy chcesz pokazać pasek Scroll obok tekstu, czy przewiń, gdy wyświetlane jest wyjście. Ponadto możesz również zmienić, czy chcesz wyłączyć przewijanie na klawisze i ustawić limit liczbowy, aby przewijać tył.
Wniosek
W tym samouczku dowiedzieliśmy się, w jaki sposób możesz zmienić czcionkę i rozmiar czcionki tekstu w terminalu. Może to być wielka ulga dla kogoś, kto jest zapalonym i regularnym użytkownikiem terminalu, ponieważ osobiste dostosowanie sprawia, że wszystko wydaje się bardziej domowe i wygodne.