Il Mon, 15 Apr 2013 14:49:30 +0200, Piviul ha scritto:

> non chiara, ogni chiamata alla funzione shell_exec ignora la shell
> predefinita dell'utente e utilizza quella predefinita nel sistema a meno
> che non si esegua direttamente l'interprete con una chiamata tipo
> shell_exec("/bin/bash -c "your commands here;\n"); Avrei voluto però e
> questo è il senso del thread, domare php in modo che di default scelga
> la shell che decido io.

Se intendi "c'è un parametro in php.ini che imposti la shell di default?" 
allora no, non c'è.

L'unico modo è quello di richiamare la shell come indichi. Oppure di fare 
uno script e usare lo shebang (#!) all'inizio per specificare la shell.

Ma l'unica differenza tra dash e bash sono i comandi interni disponibili. 

Posso chiederti perché vuoi usare bash?

Se devi richiamare più di un comando non ha molto senso usare shell_exec. 
Conviene fare uno script .sh o riscrivere quello che devi fare 
direttamente in PHP.

Bye.



-- 
Per REVOCARE l'iscrizione alla lista, inviare un email a 
[email protected] con oggetto "unsubscribe". Per
problemi inviare un email in INGLESE a [email protected]

To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]

Rispondere a