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 in de gebruikershandleiding voor Terminal te zoeken, klik je op 'Inhoudsopgave' boven aan de pagina of typ je een of meer woorden in het zoekveld.