|
|
|
![]() |
|
Strumenti |
![]() |
#1 |
Senior Member
Iscritto dal: Dec 2003
Città: Bozen
Messaggi: 4295
|
[Windows 10 PRO bash linux] Come mettere un Tilde?
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? ![]()
__________________
<i7 3770K><H77><RTX3060_12gb><32gb_ddr3><STX2ESSENCE> Ich bin schwerhörig |
![]() |
![]() |
![]() |
#2 |
Senior Member
Iscritto dal: Dec 2003
Città: Bozen
Messaggi: 4295
|
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? ![]()
__________________
<i7 3770K><H77><RTX3060_12gb><32gb_ddr3><STX2ESSENCE> Ich bin schwerhörig |
![]() |
![]() |
![]() |
#3 |
Member
Iscritto dal: Nov 2007
Città: Crotone, Calabria
Messaggi: 36
|
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/glo...eyboardlayouts ![]() |
![]() |
![]() |
![]() |
#4 | |
Senior Member
Iscritto dal: Dec 2003
Città: Bozen
Messaggi: 4295
|
Quote:
Io parlo di bash ufficiale di Windows 10 PRO: http://www.omgubuntu.co.uk/2016/08/e...versary-update
__________________
<i7 3770K><H77><RTX3060_12gb><32gb_ddr3><STX2ESSENCE> Ich bin schwerhörig |
|
![]() |
![]() |
![]() |
#5 |
Member
Iscritto dal: Nov 2007
Città: Crotone, Calabria
Messaggi: 36
|
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
![]() |
![]() |
![]() |
![]() |
Strumenti | |
|
|
Tutti gli orari sono GMT +1. Ora sono le: 14:13.