Izrada i upravljanje profilima Terminala
Profil je kolekcija postavki stila i ponašanja za prozor Terminala. Postavke koje možete pohraniti u profilu uključuju boju pozadine, font, stil kursora i mnogo više.
Terminal se isporučuje sa setom prethodno definiranih profila koji se nazivaju standardni profili, a također možete izraditi vlastite profile.
Izrada novog profila
Odaberite Terminal > Postavke pa kliknite Profili.
Kliknite na tipku Dodaj ispod popisa profila.
Unesite naziv za novi profil.
Odaberite postavke za novi profil.
Izmjena profila
Odaberite Terminal > Postavke pa kliknite Profili.
Odaberite profil koji želite izmijeniti.
Unesite izmjene u postavke profila.
Preimenovanje profila
Odaberite Terminal > Postavke pa kliknite Profili.
Dvaput kliknite na naziv profila koji želite preimenovati.
Unesite novi naziv, zatim pritisnite Return.
Kopiranje profila
Odaberite Terminal > Postavke pa kliknite Profili.
Odaberite profil koji želite kopirati.
Kliknite na skočni izbornik Postupak , zatim odaberite Dupliciraj profil.
Unesite naziv za kopirani profil, zatim pritisnite tipku Return.
Ukloni profil
Odaberite Terminal > Postavke pa kliknite Profili.
Odaberite profil koji želite ukloniti.
Kliknite na tipku Ukloni ispod popisa profila.
Obnova standardnih profila
Ako ste uklonili ili izmijenili ijedan od standardnih profila koji se isporučuju uz Terminal, možete ih dodati natrag na popis profila s njihovim izvornim postavkama. Možete obnoviti samo čitav set standardnih profila (odnosno, nijedan standardni profil ne možete obnoviti pojedinačno).
Ako ste prilagodili jedan od standardnih profila i želite pohraniti svoje prilagodbe, trebate ga preimenovati prije nego obnovite standardne profile. Postupak obnove piše preko postavki za svaki od standardnih profila.
Odaberite Terminal > Postavke pa kliknite Profili.
Kliknite na skočni izbornik Postupak , zatim odaberite Obnovi standardne profile.