____________________________________
> To apply the changes in the .bashrc file, you should log out and log in again.
It is not necessary to log out. Just type:
source .bashrc
Alberto
__________________________________________________________________________
You can manage unsubscription from this mailing list at
https://www.fluka.org/fluka.php?id=acc_info
Received on Tue Aug 28 2018 - 19:53:36 CEST