Originariamente inviato da francofait
dovrebbe servisrgli un funzione tipo string$ + chr$(126)
Sono un ignorantone per quanto riguarda la bash...
Ma non dovrebbe bastar scrivere la tilde nel file come carattere?
Ad esempio:
$string '~'

Se in shell scrivo:
string=ciao
echo $string'~'
mi stampa "ciao~"