Tilde

Da Guide@Debianizzati.Org.
Vai alla navigazione Vai alla ricerca

La tilde è un simbolo grafico (~), presente sulla tastiera americana assieme all'accento convesso (`) nel tasto a sinistra del carattere 1, e che con la tastiera italiana può essere formato con la combinazione di tasti Alt-Gr + ì.

Su MediaWiki ha diverse funzionalità, e quando tre o più tilde sono digitate e si effettua l'anteprima o l'invio:

  • ~~~ si trasforma nel proprio nome utente;
  • ~~~~ si trasforma nel proprio nome utente, seguito dal timestamp; la forma utilizzata per firmare una guida nel template Autori;
  • ~~~~~~ si trasforma nel timestamp.

Sulla shell POSIX e derivate, e quindi anche su bash e dash, il carattere tilde si può espandere alla directory della propria home. Per maggiori informazioni, si rimanda: espansione di tilde in Bash.