Olivier a écrit :
En tapant "man source" dans Google, je vois qu'il existe
[...]
C'est curieux car le script démarre par #!/bin/sh : n'aurait-il donc pas
du commencer par /bin/bash, puisqu'il est utilise une commande bash ?
Ou bien aurait-il dû utiliser "." à la place de "source" ?
Pour avoir de l'aide sur les commandes intégrées de bash, il faut soit
faire :
man bash
soit utiliser une autre commande intégrée :
help source
Bonne soiree
Fanfan
--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists Vous pouvez aussi ajouter le mot
``spam'' dans vos champs "From" et "Reply-To:"
Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers [email protected]
En cas de soucis, contactez EN ANGLAIS [email protected]
