Profielen toevoegen en verwijderen in de Windows Terminal-app in Windows 10

Windows Terminal is een moderne command-line interface waarmee gebruikers PowerShell, Command Prompt, WSL en Azure Cloud Shells in één omgeving samenbrengen. U kunt er verschillende profielen met vooraf ingestelde omgevingen in aanmaken die bepalen hoe specifieke shells of tools zich gedragen.

Profielen toevoegen in Windows Terminal zorgt ervoor dat u met één klik tussen shells wisselt. In deze uitgebreide handleiding leest u hoe u profielen standaardiseert voor meer efficiëntie en productiviteit in Windows Terminal.

Liever een visuele uitleg? Bekijk dan Profielen toevoegen en verwijderen in de Windows Terminal-app in Windows 10.

Zo voegt u een profiel toe in Windows Terminal

Er zijn twee manieren om een profiel toe te voegen in Windows Terminal op Windows 10:

Methode 1: via de UI van Instellingen

1. Open de Windows Terminal-app en ga naar Instellingen (Ctrl + ,). Selecteer daarna Profielen in het linkerdeelvenster.
2. Klik op de knop + Nieuwe toevoegen onder de lijst om een profiel toe te voegen.
3. Stel het nieuwe profiel in door een naam en commandline op te geven. U kunt ook andere eigenschappen instellen, bijvoorbeeld de startmap, het pictogram, de tabbladnaam, het uiterlijk, de kleurenschema’s en het opstartgedrag.
4. Klik na het instellen op Opslaan.

Methode 2: via settings.json

1. Selecteer de knop JSON-bestand openen of klik op Instellingen terwijl u Shift ingedrukt houdt om settings.json te openen in de standaardteksteditor.
2. Zoek de array list onder profiles.
3. Voeg een nieuw JSON-blok toe met de volgende eigenschappen:

{
"commandline": "path-to-shell-executable.exe",
"guid": "{GENERATE-A-NEW-GUID}",
"hidden": false,
"name": "Your Profile Name"
}

4. Nadat u het blok hebt toegevoegd, configureert u het shellpad van het profiel, het kleurenschema, het lettertype en de opstartinstellingen (zie het gedeelte Problemen oplossen hieronder).
5. Sla na het aanpassen van het nieuwe profiel settings.json op. Windows Terminal laadt de instellingen automatisch opnieuw. Controleer in het vervolgkeuzemenu van Instellingen of het profiel is toegevoegd.

Zo verwijdert u een profiel in Windows Terminal

Er zijn twee manieren om een profiel te verwijderen in Windows Terminal:

Methode 1: via de UI van Instellingen

1. Ga in de Windows Terminal-app naar Instellingen (Ctrl + ,) en klik daarna op Profielen.
2. Selecteer het profiel dat u wilt verwijderen en klik op de knop Profiel verwijderen bij de algemene instellingen aan de rechterkant.
3. Bevestig met Ja, profiel verwijderen en klik op Opslaan om de wijzigingen toe te passen.

Methode 2: via settings.json

1. Ga naar Instellingen (Ctrl + ,) in Windows Terminal.
2. Selecteer de knop JSON-bestand openen of klik op Instellingen terwijl u Shift ingedrukt houdt om settings.json te openen in de standaardteksteditor.
3. Zoek het object profiles en vervolgens de array list.
4. Elke vermelding in de array list is een profiel. Zoek het profiel dat u wilt verwijderen op aan de hand van de eigenschap name.
5. Verwijder het {volledige profielobject} uit de list.
6. Sla settings.json op en start Windows Terminal opnieuw.

WAARSCHUWING: standaardprofielen zoals CMD of PowerShell kunt u niet verwijderen, alleen zelf toegevoegde profielen. U kunt deze profielen wel verbergen door de eigenschap hidden in settings.json op true te zetten.

Zo past u profielen aan in Windows Terminal

U kunt profielspecifieke instellingen aanpassen zodat profielen aansluiten op uw workflow. Gebruik de UI van Instellingen van Terminal voor snelle wijzigingen of settings.json voor aanpassingen in bulk en andere geavanceerde configuraties. Dit zijn de stappen:

De UI gebruiken voor snelle wijzigingen

1. Ga naar Instellingen (Ctrl + ,), kies een profiel dat u wilt aanpassen en ga hieronder naar Aanvullende instellingen.
2. Selecteer Uiterlijk om achtergrondafbeeldingen, thema’s, lettertypen, transparantie, cursorvormen en tekstopmaak aan te passen.
3. Selecteer Geavanceerd om wijzigingen aan te brengen in aliasing, belmeldingen en andere omgevingsvariabelen.

settings.json gebruiken voor bewerkingen in bulk

1. Houd Shift ingedrukt terwijl u Instellingen selecteert of kies JSON-bestand openen om settings.json te openen.
2. Zoek in de array list op de guid of name van het profiel, bijvoorbeeld “name” : “PowerShell” , om het juiste blok te vinden.
3. Voeg code toe of pas code aan zoals “backgroundImage” of “acrylicOpacity” binnen het profielobject:

{
"guid": "{your-profile-guid}",
"name": "PowerShell",
"backgroundImage": "C:/Images/dev_bg.png", // Use forward slashes
"acrylicOpacity": 0.8
}

Een standaardprofiel instellen voor wanneer Windows Terminal wordt geopend

U kunt ook kiezen welk profiel automatisch wordt weergegeven wanneer u Windows Terminal opent. Dat maakt uw workflow een stuk efficiënter. Zo doet u dat:

1. Via de UI

1. 1. Open Instellingen (Ctrl + ,) in Terminal en ga daarna naar Opstarten. Daar vindt u de instelling Standaardprofiel.
   2. Selecteer de shell van uw voorkeur, zoals PowerShell, Ubuntu WSL of CMD.

2. Via settings.json

1. 1. Open settings.json (selecteer Instellingen terwijl u Shift ingedrukt houdt) en zoek de sleutel defaultProfile op het hoogste niveau.
   2. Vervang de waarde van de sleutel defaultProfile door de guid van het profiel van uw voorkeur.

Sneltoetsen toewijzen om snel van profiel te wisselen

Wijs sneltoetsen op uw toetsenbord toe om direct naar een ander profiel te wisselen. Zo jongleert u eenvoudiger met meerdere tools. Dit kan het beste uitsluitend via settings.json, omdat de UI van Terminal alleen globale sneltoetsen ondersteunt zoals Ctrl + T voor een nieuw tabblad. Zo maakt u per profiel een eigen sneltoets:

1. Open settings.json (selecteer Instellingen terwijl u Shift ingedrukt houdt) en zoek de array actions. Bestaat de array niet, maak deze dan aan op het hoogste niveau van de JSON.
2. Voeg een sneltoetsblok toe voor de guid of name van een specifiek profiel:

{
"actions": [
{
"command": {
"action": "newTab",
"profile": "Ubuntu-Dev" // Use "profile" or "profileGuid"
},
"keys": "Ctrl+Shift+U"
} dcreeerfcexwzew4efffffffftc dfgtcttyuyuuiuuuuujj
]
}

Profielen bekijken en beheren in Windows Terminal

Druk op Win + X en selecteer Windows Terminal. Terminal biedt twee manieren om uw profielen te beheren: een gebruiksvriendelijke UI of rechtstreekse JSON-bewerkingen. Volg een van onderstaande methodes:

• Via de algemene UI

  1. Klik op de pijl van het vervolgkeuzemenu in de titelbalk en ga naar Instellingen (of druk op Ctrl + ,).
  2. Ga naar Profielen > Lijst om geïnstalleerde shells te bekijken, zoals PowerShell, Command Prompt en WSL. Standaardprofielen zijn gemarkeerd met (Standaard).
  3. Selecteer een profiel om de naam, het pad van de opdrachtregel, het pictogram, de lettertypen of de kleurenschema’s aan te passen.
  4. Schakel Weergeven in profielvervolgkeuzelijst uit om de menu’s overzichtelijker te maken zonder configuraties te verwijderen.

Tip: u kunt ook met de muis over instellingen zoals Acryldekking bewegen voor uitleg over de functie.

• Geavanceerde aanpassingen met settings.json

• 1. Selecteer Instellingen in het vervolgkeuzemenu terwijl u Shift ingedrukt houdt om settings.json te openen.
  2. U vindt de profielen door naar profiles > list te gaan.
  3. Eigenschappen waar u rekening mee moet houden zijn guid (Globally Unique Identifier), name, commandline en hidden of colorScheme.
  4. Houd voordat u naar de volgende stap gaat rekening met de volgende tips:
     1. Kopieer het bestand en plak het op een veilige locatie, zodat u een back-up van settings.json hebt voordat u wijzigingen aanbrengt.
     2. Gebruik het commando // Comments om wijzigingen te documenteren.
     3. Controleer de JSON-syntaxis met tools zoals JSONLint.

Problemen met profielen in Windows Terminal oplossen

Probleem: profiel verschijnt niet na het toevoegen

Als een profiel in Windows Terminal niet verschijnt, let dan op problemen zoals syntaxisfouten, dubbele guid-vermeldingen of ongeldige shellpaden. Zo controleert u dat:

1. Open settings.json (selecteer Instellingen terwijl u Shift ingedrukt houdt) en gebruik JSONLint om ontbrekende komma’s of haakjes op te sporen.
2. Doorzoek settings.json op duplicaten en gebruik PowerShell om unieke guids voor de profielen te genereren.
3. Test de commandline van de profielen handmatig.
4. Controleer of “hidden” : false is ingesteld (of helemaal ontbreekt) in het JSON-blok.
5. Start Windows Terminal opnieuw en let op crashmeldingen in de app.

Probleem: instellingen van Windows Terminal worden niet opgeslagen

Dat Terminal wijzigingen in instellingen niet opslaat, kan komen door machtigingsproblemen of een alleen-lezenvergrendeling op het bestand. Sluit Windows Terminal, start de app als administrator en probeer de wijzigingen opnieuw.

Probleem: beschadigd settings.json-bestand

JSON-bestanden raken meestal beschadigd door handmatige bewerkingen met syntaxisfouten of mislukte back-ups. U kunt dit op de volgende manieren oplossen:

1. Vervang settings.json door een versie waarvan u weet dat die correct is en zet deze terug vanaf een back-up.
2. Zet het terug naar de standaardinstellingen door settings.json te hernoemen of te verwijderen en Windows Terminal te starten om een nieuw bestand aan te maken.

Beste praktijken voor het beheren van Windows Terminal-profielen

Met deze strategieën bespaart u tijd en voorkomt u fouten bij het instellen van profielen:

Gebruik beschrijvende profielnamen voor eenvoudige herkenning

Duidelijke en beschrijvende profielnamen voorkomen verwarring in uw Windows Terminal. U kunt daarnaast voorvoegsels standaardiseren. Kies bijvoorbeeld in plaats van een profielnaam als “PowerShell” voor een unieke naam als “Prod-PowerShell-7.4 (Admin)”.

Orden profielen met scheidingstekens of gegroepeerde instellingen

Voorkom rommel in uw Windows Terminal-profielen door ze te groeperen op gebruik. U kunt de volgorde ook bepalen op basis van hoe vaak u ze gebruikt. Voeg in settings.json notities toe zoals “// —- Development Tools —-” of “// —- Production Tools —-” en geef daarbij aan welk profiel in welke categorie hoort.

Maak regelmatig een back-up van settings.json

Regelmatig een back-up maken van settings.json voorkomt of beperkt de gevolgen van onbedoelde bewerkingen of beschadiging van het bestand. U kunt de back-up automatiseren met een PowerShell-script dat dagelijks een momentopname opslaat:

$settingsPath = "$env:LOCALAPPDATA\Packages\Microsoft.WindowsTerminal_*\LocalState\settings.json"

Copy-Item -Path $settingsPath -Destination "\\network\backups\terminal_$(Get-Date -Format 'yyyyMMdd').json"

Experimenteer met thema’s en lettertypen voor een persoonlijke werkomgeving

Uw Terminal-profielen personaliseren verbetert de leesbaarheid en het visuele comfort, zeker wanneer u urenlang in de app werkt.

Overzichtelijke syntaxiskleuring helpt u om commando’s, uitvoer en fouten beter van elkaar te onderscheiden. Subtiele achtergrondafbeeldingen of aangepaste transparantie kunnen uw concentratie bovendien ten goede komen. (Zie het gedeelte Problemen oplossen).

Geef uw Windows Terminal-profielen een persoonlijk tintje

Of u nu de UI van Instellingen of settings.json gebruikt: u kunt nu profielen in Windows Terminal toevoegen, verwijderen en aanpassen. Door uw shellpaden en sneltoetsen te definiëren en uw thema’s en lettertypen te personaliseren, wordt Terminal uw centrale plek voor productiviteit.

Blijf experimenteren met verschillende thema’s en lettertypen, zodat u zich beter op uw scripts kunt concentreren en zo lang mogelijk kunt doorwerken zonder hoofdpijn. Houd er wel rekening mee dat u altijd een back-up van uw settings.json moet maken om problemen voor te zijn.

Orden, categoriseer en personaliseer uw Windows Terminal-profielen om efficiënter te werken aan uw code.