Bash Wiki
Posts (Latest 30 updated) :
Read all
Contents:
  1. [Linux] Bash source uso: Esegui comandi da un file
    1. Overview
    2. Usage
    3. Common Options
    4. Common Examples
      1. Eseguire un file di script
      2. Caricare variabili di ambiente
      3. Eseguire comandi da un file di configurazione
      4. Eseguire un file di script in modo interattivo
    5. Tips

[Linux] Bash source uso: Esegui comandi da un file

Overview

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.

Usage

La sintassi di base del comando source è la seguente:

source [opzioni] [file]

Common Options

  • -: 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.

Common Examples

Eseguire un file di script

Per eseguire un file di script chiamato script.sh, puoi utilizzare:

source script.sh

Caricare variabili di ambiente

Se hai un file chiamato env.sh che contiene variabili di ambiente, puoi caricarle con:

source env.sh

Eseguire comandi da un file di configurazione

Se hai un file di configurazione config.sh con funzioni e variabili, puoi eseguirlo per configurare l’ambiente:

source config.sh

Eseguire un file di script in modo interattivo

Se desideri eseguire uno script in modo interattivo, puoi usare:

source - script.sh

Tips

  • Assicurati che il file che stai cercando di eseguire abbia i permessi di lettura.
  • Utilizza source per ricaricare le modifiche apportate a file di configurazione senza dover chiudere e riaprire la shell.
  • Ricorda che le variabili definite nel file sorgente rimarranno disponibili nella shell corrente dopo l’esecuzione.