Cosa fa un comando "exec"?

Non capisco il comando bash exec. L'ho visto usato negli script per reindirizzare tutto l'output su un file (come visto in questo ). Ma non capisco come funziona o cosa fa in generale. Ho letto le pagine man ma non le capisco.

man bash dice:

exec [-cl] [-a name] [command [arguments]]
      If command is specified, it replaces the shell.  No new  process
      is  created.  The arguments become the arguments to command.  If
      the -l option is supplied,  the  shell  places  a  dash  at  the
      beginning  of  the  zeroth  argument passed to command.  This is
      what login(1) does.  The -c option causes command to be executed
      with  an empty environment.  If -a is supplied, the shell passes
      name as the zeroth argument to the executed command.  If command
      cannot  be  executed  for  some  reason, a non-interactive shell
      exits, unless the execfail shell option  is  enabled.   In  that
      case,  it returns failure.  An interactive shell returns failure
      if the file cannot be executed.  If command  is  not  specified,
      any  redirections  take  effect  in  the  current shell, and the
      return status is 0.  If there is a redirection error, the return
      status is 1.

Le ultime due righe sono importanti: se si esegue execda solo, senza un comando, i reindirizzamenti verranno semplicemente applicati alla shell corrente. Probabilmente sai che quando esegui command > file, l'output di commandviene scritto fileinvece che sul tuo terminale (questo si chiama reindirizzamento ). Se exec > fileinvece esegui , il reindirizzamento si applica all'intera shell: qualsiasi output prodotto dalla shell viene scritto fileinvece che sul tuo terminale. Per esempio qui

bash-3.2$ bash
bash-3.2$ exec > file
bash-3.2$ date
bash-3.2$ exit
bash-3.2$ cat file
Thu 18 Sep 2014 23:56:25 CEST

In primo luogo inizio una nuova bashshell. Quindi, in questa nuova shell exec > file, corro , in modo che tutto l'output venga reindirizzato a file. In effetti, dopo che corro datema non ottengo alcun output, perché l'output viene reindirizzato a file. Quindi esco dalla shell (in modo che il reindirizzamento non si applichi più) e vedo che fileeffettivamente contiene l'output del datecomando eseguito in precedenza.

exec è un comando con due comportamenti molto distinti, a seconda che venga usato almeno un argomento o che non venga usato alcun argomento.

• Se viene passato almeno un argomento, il primo viene preso come nome di comando e exectenta di eseguirlo come comando passando gli eventuali argomenti rimanenti a quel comando e gestendo gli eventuali reindirizzamenti.

• Se il comando passato come primo argomento non esiste, la shell corrente, non solo il comando exec, esce per errore.

• Se il comando esiste ed è eseguibile, sostituisce la shell corrente. Ciò significa che se execappare in uno script, le istruzioni che seguono la chiamata exec non verranno mai eseguite (a meno che non execsi trovi in ​​una subshell). execnon ritorna mai. Neanche le trappole della shell come "EXIT" verranno attivate.

• Se non viene passato alcun argomento, execviene utilizzato solo per ridefinire i descrittori del file shell corrente. La shell continua dopo exec, a differenza del caso precedente, ma lo standard input, output, errore o qualunque altro descrittore di file sia stato reindirizzato ha effetto.

• Se alcuni reindirizzamenti utilizzano /dev/null, qualsiasi input da esso restituirà EOF e qualsiasi output ad esso verrà scartato.

• È possibile chiudere i descrittori di file utilizzando -come origine o destinazione, ad es exec <&-. Le successive letture o scritture falliranno.

Ecco due esempi:

echo foo > /tmp/bar
exec < /tmp/bar # exec has no arguments, will only affect current shell descriptors, here stdin
cat # simple command that read stdin and write it to stdout

Questo script genererà "pippo" come comando cat, invece di attendere l'input dell'utente come avrebbe fatto nel solito caso prenderà il suo input dal file / tmp / bar che contiene pippo.

echo foo > /tmp/bar
exec wc -c < /tmp/bar # exec has two arguments, the control flow will switch to the wc command
cat

Questo script visualizzerà 4(il numero di byte in / tmp / bar) e termina immediatamente. Il catcomando non verrà eseguito.

Per capire execdevi prima capire fork. Sto cercando di farla breve.

• Quando arrivi a un bivio, generalmente hai due opzioni. I programmi Linux raggiungono questo bivio quando colpiscono una fork()chiamata di sistema.

• I programmi normali sono comandi di sistema che esistono in una forma compilata sul tuo sistema. Quando viene eseguito un tale programma, viene creato un nuovo processo. Questo processo figlio ha lo stesso ambiente del suo genitore, solo il numero ID del processo è diverso. Questa procedura si chiama biforcazione .

• Il forking fornisce un modo per un processo esistente di avviarne uno nuovo. Tuttavia, potrebbero esserci situazioni in cui un processo figlio non fa parte dello stesso programma del processo padre. In questo caso execviene utilizzato. exec sostituirà il contenuto del processo attualmente in esecuzione con le informazioni di un programma binario.
• Dopo il processo di fork, lo spazio degli indirizzi del processo figlio viene sovrascritto con i nuovi dati di processo. Questo viene fatto tramite una chiamata exec al sistema.

In bash, se lo fai help exec:

$ help exec
exec: exec [-cl] [-a name] [command [arguments ...]] [redirection ...]
    Replace the shell with the given command.

    Execute COMMAND, replacing this shell with the specified program.
    ARGUMENTS become the arguments to COMMAND.  If COMMAND is not specified,
    any redirections take effect in the current shell.

    Options:
      -a name   pass NAME as the zeroth argument to COMMAND
      -c        execute COMMAND with an empty environment
      -l        place a dash in the zeroth argument to COMMAND

    If the command cannot be executed, a non-interactive shell exits, unless
    the shell option `execfail' is set.

    Exit Status:
    Returns success unless COMMAND is not found or a redirection error occurs.

Il bit rilevante:

If COMMAND is not specified, any redirections take effect in the current shell.

execè un built-in di shell , che è l'equivalente di shell della execfamiglia di chiamate di sistema di cui parla G_P (e di cui sembra aver letto le manpage). Ha solo la funzionalità POSIX obbligatoria di influenzare la shell corrente se non viene specificato alcun comando.