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? :)
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? :)