5
Spesso devo apportare modifiche al mio ~/.bash_profile
e devo riavviare il terminale per le modifiche da propagare. C'è un comando che posso eseguire per ri-source il mio ~/.bash_profile
?C'è un modo per "risorsa" di bash_profile senza riavviare il terminale?
qualcosa come '$ fonte ~/.bash_profile'? – pah