Afficher un message
Vieux 04/04/2006, 10h59   #6
Vincent Lefevre
Aucun Avatar
 
Messages: n/a
Hébergeur:
Par défaut Re: remplacer une commande interne du shell

Dans l'article <e0td4j$2loj$2@nef.ens.fr>,
Luc Habert <lhabert@clipper.ens.fr> écrit:

> "Dam" :


> > oui en précedant ta commande par "\"


> Non, ça ne marche qu'avec les macros.


Ce ne sont pas des macros, mais des alias. Il y a builtin pour
spécifier qu'on veut utiliser une commande builtin du shell, et
command pour spécifier qu'on veut utiliser une commande builtin
ou externe (avec zsh, seulement commande externe, sauf si l'option
POSIX_BUILTINS est activée).

--
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
  Réponse avec citation
 
Page generated in 0,04837 seconds with 9 queries