terminal
Terminalaanpassing

Bash C Language C++ Git Java Language GNU/Linux Node.js Python Language Ruby Language vim
Zoeken…


Invoering

Dit onderwerp bevat informatie over het aanpassen van het uiterlijk, het gevoel en de functionaliteit van Terminal. Terminal is eenvoudig aan te passen. De meeste terminalaanpassingen zijn grafisch beschikbaar via zowel Terminal> Voorkeuren als met terminalopdrachten. Het terminalvoorkeurenvenster bevat 4 tabbladen, die hieronder worden uitgelegd.

Terminalaanpassingstabs

Gevonden onder Terminal > Preferences

Algemeen

Op het tabblad Algemeen kunt u kiezen welk profiel wordt geopend wanneer u Terminal start. U kunt "Schelpen openen met" instellen om te kiezen naar welke terminal van de map wordt geopend of een opdracht opgeven die moet worden uitgevoerd telkens wanneer u een nieuw terminalvenster of tabblad opent.

profielen

Met het tabblad profielen kunt u het uiterlijk van uw terminal aanpassen. Het komt met een aantal vooraf ingestelde thema's, die elk naar wens kunnen worden aangepast. Profielen bevat subtabbladen voor het wijzigen van instellingen zoals Tekst, Venster, Tabblad, Shell, Toetsenbord en Geavanceerd.

Venstergroepen

Venstergroepen zijn configureerbare lay-outs die worden gebruikt om meerdere terminalvensters te organiseren. Gebruik Window > Save Windows as Group om een venstergroep in te stellen. Hiermee kunt u uw huidige terminalindeling opslaan als een "Venstergroep".

coderingen

Op het tabblad coderingen kunt u selecteren welke coderingen u wilt weergeven bij het kiezen van opties in de tekstcoderingsmenu's. Voor de meeste gebruikers is de standaardwaarde hier prima.



Modified text is an extract of the original Stack Overflow Documentation
Licentie onder CC BY-SA 3.0
Niet aangesloten bij Stack Overflow