A Microsoft lançou recentemente, o novo Windows Terminal. Eu queria experimentar e usar caracteres Unicode. Mas não consigo descobrir como escrever Unicode no meu terminal? Além disso, neste vídeo, o novo Terminal do Windows converte o <=símbolo em seu equivalente matemático, como fazer?
Como em Julia , escrevemos \sigma+tabentão o símbolo para sigma aparece, da mesma forma, o que fazer neste novo terminal ?
Pressione
Ctrl+,em seu novo terminal.Isso abrirá profiles.json (defina um aplicativo para abrir arquivos json primeiro, não há necessidade de fazer isso se o código VS já estiver instalado)
Na lista correspondente à chave "profiles" no arquivo JSON, localize o bloco com o campo "name" definido para o terminal cuja fonte você deseja alterar.
Digite , ao final da última feature deste bloco. Pressione Enter. Agora escreva :-
"fontFace": "Cascadia Code"no final.
Pressione
ctrl+S.