relate perguntas
-
Como desativar a aceleração do mouse em um touchpad de precisão do Windows?
-
renomear em massa conjuntos de arquivos de imagem
-
Qual seria o equivalente em lote do argumento "pass" do Python?
-
Comunique-se com o daemon do Docker no Windows
-
atalho do shell da área de trabalho no painel lateral do explorer
Abra as configurações JSON do Terminal do Windows. Em seguida, no
profiles
array, encontre o objeto para o shell que você está procurando e copie oguid
valor dele. A última etapa é colar esse valor nodefaultProfile
atributo.Isso pode alterar seu shell padrão.
O procedimento requer algum conhecimento sobre o formato de arquivo JSON. Aqui está um breve esboço. Cada membro é representado como
"name":"value"
um par. Arrays usam colchetes e objetos usam colchetes. Leia esta Wikipedia: JSON para mais detalhes.Procedimento:
profiles.json
arquivo. Aqui está uma amostra, veja o primeiro objeto JSON, ou seja,"globals"
.Estamos interessados no
defaultProfile
nome. O valor com formato de 128 bits{12345678-1234-1234-1234-1234567890AB}
é chamado de UUID . Suponha que seja como um apelido para o shell padrão :)Agora, nesse arquivo, encontre
"name" : "cmd"
par (ou"commandline" : "cmd.exe"
par) para Prompt de Comando. Haverá um"guid"
par adjacente a ele. Copie o valor, ou seja, o apelido de 128 bits . E cole-o em globais > defaultProfile.Reinicie o Terminal do Windows.
Se você instalou o Windows Terminal sem a Windows Store, o caminho real do arquivo
profiles.json
é"%LocalAppData%\Microsoft\Windows Terminal\profiles.json"
. Você pode abrir o caminho diretamente em qualquer editor de texto.Leituras Adicionais
Edite as configurações e altere o valor defaultProfile para o valor GUID do perfil que você deseja que seja o padrão. Por exemplo: