• # Différence de shell

    Posté par . En réponse au message comportement bizarre. Évalué à 3.

    Sur debian, /bin/sh est bash. Sur ubuntu, c'est dash.
    Je ne connais pas subprocess, mais a priori il forke le shell par défaut pour exécuter la commande, et dash ne permet pas les mêmes redirections que bash.