Exécuter le script bash à partir d'une URL

Question

Dire que j'ai un fichier à l'URL "http://mywebsite.com/myscript.txt" qui contient un script:

#!/bin/bash
echo "Hello, world!"
read -p "What is your name? " name
echo "Hello, ${name}!"

Et je tiens à les exécuter ce script sans d'abord l'enregistrer dans un fichier. Comment dois-je faire?

Maintenant, j'ai vu la syntaxe:

bash < <(curl -s http://mywebsite.com/myscript.txt)

Mais cela ne semble pas fonctionner comme il l'aurait fait si je l'ai enregistré dans un fichier, puis exécuté. Par exemple readline ne fonctionne pas, et le résultat est juste:

$ bash < <(curl -s http://mywebsite.com/myscript.txt)
Hello, world!

De même, j'ai essayé:

curl -s http://mywebsite.com/myscript.txt | bash -s --

Avec les mêmes résultats.

A l'origine, j'avais une solution comme:

timestamp=`date +%Y%m%d%H%M%S`
curl -s http://mywebsite.com/myscript.txt -o /tmp/.myscript.${timestamp}.tmp
bash /tmp/.myscript.${timestamp}.tmp
rm -f /tmp/.myscript.${timestamp}.tmp

Mais ce qui semble bâclée, et j'aimerais une solution plus élégante.

Je suis conscient des problèmes de sécurité concernant l'exécution d'un script shell à partir d'une URL, mais nous allons ignorer tout cela pour l'instant.

Answer 1

 source <(curl -s http://mywebsite.com/myscript.txt)
 

devrait le faire. Sinon, laissez la redirection initiale sur la vôtre, qui redirige l'entrée standard; bash prend un nom de fichier pour s'exécuter parfaitement sans redirection, et la syntaxe <(command) fournit un chemin.

 bash <(curl -s http://mywebsite.com/myscript.txt)
 

(Cela peut être plus clair si vous regardez la sortie de

 echo <(cat /dev/null)
 

)

Answer 2

C'est le moyen d'exécuter un script distant en lui passant des arguments (arg1 arg2):

 curl -s http://server/path/script.sh | bash /dev/stdin arg1 arg2
 

Answer 3

Utilisation de wget , qui fait généralement partie de l’installation par défaut du système:

 bash <(wget -qO- http://mywebsite.com/myscript.txt)
 

Answer 4

Essayez juste:

 bash <(curl -s http://mywebsite.com/myscript.txt)
 

Answer 5

Vous pouvez aussi faire ceci:

 wget -O - https://raw.github.com/luismartingil/commands/master/101_remote2local_wireshark.sh | bash