Message d'erreur "source : not found" lors de l'exécution d'un script.

Certains obus supportent . au lieu de source . Vous pouvez donc essayer quelque chose comme ceci

. filename

au lieu de

source filename

J'espère que cela fonctionnera

1. Comment être sûr que le script est exécuté par Bash, même si #!/bin/sh est spécifié (apparemment, il ne le garantit pas) ?

Pour être sûr qu'un script écrit pour sh Shell (comme dans votre cas - cf. Quelle est la différence entre #!/bin/sh et #!/bin/bash ? ) est exécuté par Bash, il suffit d'exécuter la commande suivante :

bash script_name

Ainsi, vous n'obtiendrez plus cette erreur.

2. Pourquoi dirait-on que ces deux sources sont introuvables alors qu'elles sont indubitablement présentes ?

Il ne dit pas que ces fichiers sources ne sont pas là. Il dit que le source n'est pas trouvée. C'est normal, car puisque vous démarrez votre script avec #!/bin/sh votre script s'exécutera en utilisant la fonction sh et non bash comme vous pouvez le penser. Pourquoi est-ce normal ? Parce que source est une commande Bash intégrée, mais pas une commande sh intégré. Pour créer un fichier source dans sh vous devez utiliser . (point). Exemple :

. /etc/profile
. ~/.profile

Une autre façon est de changer la ligne shebang en #!/bin/bash como chaos dit dans sa réponse .

Voir ceci Question :

/bin/sh est généralement un autre Shell qui essaie d'imiter le Shell. De nombreuses distributions utilisent /bin/bash para sh il supporte les sources. Sur Ubuntu, cependant, /bin/dash est utilisé qui ne supporte pas la source. Si vous ne pouvez pas modifier le script, essayez de modifier le script qui l'exécute.