Ho aggiornato alcuni dei profili predefiniti per bash e ho visto dai tutorial che seguivo che avrei potuto ricaricare il nuovo profilo con le nuove impostazioni dell'ambiente usando:
source /etc/bash.bashrc
L'unica cosa è - le nuove variabili d'ambiente erano disponibili solo per il mio attuale utente - e sono state ignorate quando ho usato sudo. Sono diventati disponibili per sudo solo quando ho chiuso la sessione del terminale e mi sono unito di nuovo.
Quando provo ad usare:
sudo source /etc/bash.bashrc
Ottengo l'errore:
sudo: source: command not found
Esiste un modo semplice per caricare le nuove impostazioni del profilo bash per sudo senza dover chiudere il terminale e riavviare?
- Inizialmente, stavo usando alcuni script di installazione che facevano riferimento alle variabili. Ho scoperto che mentre potevano accedere alle variabili quando ho chiamato direttamente gli script (anche se, ciò causerebbe un problema successivo con la creazione di directory in quanto avevo bisogno di essere root), chiamare gli script di installazione usando sudo non lo farebbe.
Ho dimostrato questo testando con questi semplici comandi:
echo $ENV_VARIABLE
sudo echo $ENV_VARIABLE
Il primo avrebbe generato il valore della variabile, ma il secondo non avrebbe prodotto nulla.