PDA

View Full Version : [Windows 10 PRO bash linux] Come mettere un Tilde?


demikiller
20-09-2016, 21:09
Ciao a tutti,
Conosco il sistema operativo Linux (Debian) e conosco il tasto per mettere un tilde "~"
Ma rimane un problema irrisolto: Nello shell di Windows 10 Pro (dopo aggiornamento di anniversary update contiene la funzione bash di Linux nel sistema operativo Microsoft)

Quando sono nella finestra di bash, ho provato diverse combinazioni di tasti per creare un TILDE ma fin'ora non sono riuscito a farlo.

Alt + 126 (tasti sopra alfabetici)
Alt Gr + 126 (tasti sopra alfabetici)
Alt Gr + ì
Alt Gr + '
Alt + 126 (tasti numerici)
Alt Gr + 126 (tasti numrici)

Alcuni esperti come voi saprebbe darmi una soluzione? :)

demikiller
20-09-2016, 21:18
La soluzione c'e' ma devo usare con il layout inglese: Shift + # (in tastiera italiana vedi come Shift + ù )

Rimane ancora un mistero: Come farebbe con la tastiera italiana? :D

yhouse
22-09-2016, 16:06
Ciao, a quanto pare con la tastiera italiana è impossibile fare la tilde nel bash, se non modifichi qualcosa.

Qui c'è un piccolo script per Windows che, una volta installato, ti mappa la combinazione "AltGr + 5" per fare la tilde:
https://github.com/pierreprinetti/itaqrawl

In alternativa puoi scaricare MSKLC per modificare le combinazioni:
https://msdn.microsoft.com/en-us/globalization/keyboardlayouts

:cincin:

demikiller
23-09-2016, 11:09
Ciao, a quanto pare con la tastiera italiana è impossibile fare la tilde nel bash, se non modifichi qualcosa.

Qui c'è un piccolo script per Windows che, una volta installato, ti mappa la combinazione "AltGr + 5" per fare la tilde:
https://github.com/pierreprinetti/itaqrawl

In alternativa puoi scaricare MSKLC per modificare le combinazioni:
https://msdn.microsoft.com/en-us/globalization/keyboardlayouts

:cincin:

Grazie dell'aiuto, quel problema riguarda Github giusto?
Io parlo di bash ufficiale di Windows 10 PRO:

http://www.omgubuntu.co.uk/2016/08/enable-bash-windows-10-anniversary-update

yhouse
27-09-2016, 15:34
Ciao, no non riguarda solo la console di github, ma la bash di windows 10 pro, avevo capito il tuo problema. Quelle due soluzioni dovrebbero funzionare, provale:p