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?
Meme dans ce cas il reste "set -- '1 2 3' '4 5 6'" et "$@" que seuls quelques shells tres decerebres
Ce n'est pas propre de changer le $0 dans ces conditions.
1) ca marche sous le /bin/sh de Solaris, 2) Ca ne change pas $0, ca change "$1" "$2" etc.... C'est BASH et son appel bash -c 'bla bla bla' "$@" qui change "$0". A pas pareil.
Ah oui, ça se corrige facilement... -- Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / SPACES project at LORIA