25 Jan
2006
25 Jan
'06
3:55 p.m.
Re, Vincent Lefevre a écrit :
On 2006-01-25 13:42:11 +0100, Christophe Martin wrote:
#! /bin/sh
( a[0]=1 || exit 1 ) 2>/dev/null || exec /bin/ksh "$0" ${1+"$@"}
Ah, merci. J'avais essayé un truc du genre, mais ça ne marchait pas. J'avais peut-être dû oublier le "$0". Le "|| exit 1" est inutile, non?
Probablement, mais sur le moment ca m'a semble une bonne idee et ca a marche comme ca, alors .... A+ Christophe