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