problème de double quote

Vincent Lefevre vincent at vinc17.org
Wed Jan 25 15:06:10 CET 2006


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 at 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



More information about the Shell mailing list