Title: Modificare le variabili della parent shell
Author: Sandro Tosi
Last modified: 2007-06-16
Quando si esegue uno script, esso viene eseguito in una nuova shell,
figlia di quella da cui e` stato lanciato. Questa nuova shell ha un
suo ambiente proprio, ereditato dalla parent shell, ma quando termina,
tutto questo ambiente viene perso, senza che niente sia modificato
nella parent shell.
La parent shell puo` esportare della variabili alle child shell
tramite il comando
$ export <nome_var>
ma ogni modifica nelle child shell non verra` propagata alla parent
shell.
Per far si` che modifiche alle variabili esportate siano propagate
alla parent shell si deve eseguire il comando come
$ . <nome_programma> |