gnome-terminal er en av de fineste terminaler tilgjengelig for operativsystemet Linux. Det er bunnsolid, gjør den jobben, og har massevis av funksjoner du kanskje ikke finner i andre terminalemulatorer. En av disse funksjonene er Profile. En profil er en måte å ha flere terminalkonfigurasjoner på en gang. Du kan lage så mange du vil og bytte frem og tilbake på fly. Men hvorfor har denne funksjonen? Er det virkelig nødvendig? Jeg kan vise deg noen grunner til at gnome-terminal profil tilbyr deg flere profiler.

I denne artikkelen vil jeg gå gjennom etablering av nye profiler og vise deg hvorfor du kanskje vil ha dem.
< p> Forutsetninger

Først og fremst går ut denne artikkelen du faktisk bruker terminalen og forutsetter at du bruker det mye. Fotgjenger bruker av terminalen kanskje ikke ser behov for flere profiler for en terminal vindu. Men hvis du bruker terminal mye, og av ulike grunner, kan du se hvordan flere profiler kan gjøre en forskjell.

Opprette nye profiler
Figur 1

La oss først ta en se på hvordan profiler er opprettet. Hvis du vil opprette (eller redigere) en profil Klikk Rediger > Profiler. Dette vil få opp et nytt vindu (se figur 1), der du kan legge til, redigere eller slette profiler på vilje

Som du kan se, i figur 1, jeg har to aktuelle profiler -. Standard og "nei trans ". Standardprofilen min passer inn med min nåværende desktop ordning (RGBA, med tung gjennomsiktighet). Det er tider når jeg trenger å nærmere vurdere tekst (for eksempel når du ser toppen
eller gre gjennom en konfigurasjonsfil. For de gangene bytter jeg til "no trans" profil som er en ikke-transparent profil jeg opprettet.

Hvis du vil opprette en ny profil klikker du på Ny-knappen. Når du gjør dette et lite vindu åpnes hvor du gir den nye profilen et navn og velge hvilke av de aktuelle profiler å basere den nye profilen på. La oss si, for skyld eksempel, jeg ønsker å opprette en profil for enhver tid jeg bruker terminalen som root bruker. Dette kan komme i svært nyttig (og holde deg fra å gjøre noe du ikke ønsker å gjøre). For dette jeg kommer til å ringe profilen "Root" og basere det på "no trans". Når du har gjort at hovedprofilen redigeringsvinduet vises (se figur 2).

I denne nye vinduet du kan endre ganske mye for din profil. For en profil for å fungere som den administrative brukeren kan det være lurt å gjøre noe som skaper en hvit bakgrunn med rød tekst, eller en rød bakgrunn med svart tekst. For et slikt tilfelle liker jeg å endre tittel og kommando for å sikre at det er ingen tvil om jeg bruker den administrative brukeren. For å gjøre dette, klikk på fanen Tittel og kommando- og deretter endre Initial tittelen å være noe sånt som root brukeren: Vær forsiktig
. Du kan da velge å foranstille denne tittelen om terminalen kommandoen sender sin egen tittel (som ofte er tilfellet).
Figur 3

Den nye "root" profil vil se noe sånt i Figur 3.

Bytte profiler

Dette er enkelt, og kan gjøres på sparket. Alt du trenger å gjøre er å klikke Terminal > Endre profil og velg profilen du vil.

Avsluttende tanker

Utnytt gnome-terminal profiler og ditt liv vil bli mye enklere. Det er mange grunner til hvorfor du ønsker å bruke dem, og tonnevis av modifikasjoner du kan gjøre for dem. Anmeldelser