Il comando source
in Bash viene utilizzato per eseguire comandi da un file all’interno della shell corrente. Questo è particolarmente utile per caricare variabili di ambiente o funzioni definite in un file di script, senza dover avviare un nuovo processo.
La sintassi di base del comando source
è la seguente:
source [opzioni] [file]
-
: Indica che il file deve essere eseguito in modo interattivo.--help
: Mostra un messaggio di aiuto con le opzioni disponibili.--version
: Mostra la versione del comando.Per eseguire un file di script chiamato script.sh
, puoi utilizzare:
source script.sh
Se hai un file chiamato env.sh
che contiene variabili di ambiente, puoi caricarle con:
source env.sh
Se hai un file di configurazione config.sh
con funzioni e variabili, puoi eseguirlo per configurare l’ambiente:
source config.sh
Se desideri eseguire uno script in modo interattivo, puoi usare:
source - script.sh
source
per ricaricare le modifiche apportate a file di configurazione senza dover chiudere e riaprire la shell.