Ho appena visto questo in uno script di init:
echo $"Stopping Apache"
A cosa serve quel simbolo di dollaro?
La mia ricerca finora:
Ho trovato questo nel manuale di bash:
extquote
Se impostata,
$'string'e$"string"citando viene eseguita entro${parameter}espansioni racchiuse tra virgolette. Questa opzione è abilitata per impostazione predefinita.
... ma non trovo alcuna differenza tra le stringhe con e senza il $prefisso:
$ echo "I am in $PWD"
I am in /var/shared/home/southworth/qed
$ echo $"I am in $PWD"
I am in /var/shared/home/southworth/qed
$ echo $"I am in ${PWD}"
I am in /var/shared/home/southworth/qed
$ echo "I am in ${PWD}"
I am in /var/shared/home/southworth/qed
$ echo 'I am in ${PWD}'
I am in ${PWD}
$ echo $'I am in ${PWD}'
I am in ${PWD}
$ echo $'I am in $PWD'
I am in $PWD
$"...", secondo la domanda.