Terminal-vensters laten opvallen met profielen
Wanneer je bij meerdere servers bent ingelogd, kun je door middel van unieke achtergrondkleuren en venstertitels die je in profielen opgeeft snel het juiste Terminal-venster vinden. Je kunt de standaardprofielen van Terminal gebruiken, of zelf profielen configureren.
Navigeren in Terminal-vensters
Je kunt tijdens het werken markeringen en bladwijzers toevoegen en hiermee snel door lange Terminal-uitvoer navigeren.
Processen beheren
In het infovenster kun je actieve processen weergeven en beheren en venstertitels en achtergrondkleuren wijzigen.
Om door de gebruikershandleiding voor Terminal te bladeren, klik je op 'Inhoudsopgave' boven aan de pagina.