E con Linux come faccio? Non è possibile immettere caratteri utilizzando i suddetti codici, fortunatamente però possiamo ricorrere a comode scorciatoie da tastiera, combinazioni di tasti da premere contemporaneamente.
Notazione: Con ALT Gr ci si riferisce al tasto ALT a destra della barra spaziatrice e con SHIFT al tasto per fare le maiuscole (solitamente rappresentato con una freccia verso l’alto).
ALT Gr + SHIFT + [ per la parentesi graffa aperta
ALT Gr + SHIFT + ] per la parentesi graffa chiusa
ALT Gr + ì per il carattere Tilde
In alternativa possiamo usare ALT + 7 e ALT + 0 per le parentesi graffe e AltGR + SHIFT + 3 per la tilde (thx Michele).
Per ottenere la tilde nel terminale basta anche la semplice pressione del tasto Pg down.
venerdì 6 marzo 2009
Parentesi graffe e tilde con Linux
Vi riporto un'estratto da questo post che può essere molto utile a chi non conoscendo linux si ritrova a non sapere come fare i sequenti caratteri "{" , "}" , "~".
Iscriviti a:
Commenti sul post (Atom)
Grazie per la citazione ;)
RispondiEliminaPrego Ainu, è sempre un piacere riproporre all'attenzione post che sono scritti bene e che contengono quelle piccole informazioni utili che possono facilitare il lavoro di chi si cimenta con linux per la prima volta.
RispondiElimina:D