microsoft/Terminal

Default profile can point to one deleted in state.json

Open

#14.420 aperta il 21 nov 2022

Vedi su GitHub
 (4 commenti) (0 reazioni) (0 assegnatari)C++ (3212 fork)batch import
Area-SettingsHelp WantedIssue-BugPriority-3Product-Terminal

Metriche repository

Star
 (35.764 star)
Metriche merge PR
 (Merge medio 27g 19h) (24 PR mergiate in 30 g)

Descrizione

Windows Terminal version

1.17.2982.0

Windows build number

25236.1010

Other Software

PowerShell (potentially caused by multiple versions installed?)

Steps to reproduce

  1. Open Windows Terminal (see PowerShell Core profile)
  2. Open new tab (different PowerShell profile appears)

Helpful info

settings.zip

defaultProfile is set to a legacy version of powershell core. However, that profile doesn't exist anymore. It's interesting that...

  1. resolving it on startup results in a different profile than when hitting the new tab button
  2. I can't seem to edit that profile? It doesn't seem like it's hidden. Idk why it still resolves correctly?

Expected Behavior

Both tabs should contain the same profile

Actual Behavior

Both tabs have different profiles.

Guida contributor

Direzione di ricerca
Indaga la logica in Windows Terminal che risolve il profilo predefinito da state.json. Il bug suggerisce che il GUID di defaultProfile potrebbe fare riferimento a un profilo che non esiste più e la risoluzione potrebbe restituire un profilo diverso da quello mostrato quando si apre una nuova scheda. Esamina come i profili vengono memorizzati e risolti, in particolare nei file delle impostazioni. Verifica se esiste un meccanismo di fallback per i profili mancanti.
Tech stack
cpp
Dominio
desktop
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Git
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60