Le altre risposte sono corrette nel senso che non sta digitando il carattere tilde regolare, ma si utilizza il piccolo carattere tilde. Ciò che le altre risposte non spiegano è però il motivo per cui quando si digita tilde si ottiene la tilde piccola e non la tilde grande.
Lo stesso problema mi ha tormentato per qualche tempo. Ho scoperto che stavo usando la mappatura dei tasti 'US-International'. Prova a modificarlo in Preferenze di sistema> Lingua e testo> Origini di input. Con quella tastiera selezionata devi digitare la tilde e quindi colpire la barra spaziatrice per vederla passare dalla tilde piccola alla tilde normale.
fonte
2012-05-28 13:36:54
cosa c'è nella variabile $ HOME, e non quella directory esiste? –
'~'! =' ~ ', Vedi la differenza? – Wrikken
@Wrikken Dovresti promuoverlo per una risposta. –