PR pour le plugin script

Bonjour,

Suite à une parenthèse dans un fil dont voici le lien :

J’ai proposé une PR au plugin script. Rien qui ne va tout casser (c’est rétro-compatible) mais qui peut s’avérer utile.

Avec cette option, on a le même comportement d’un script que lorsqu’il est exécuté dans un shell sans forçage d’interpréteur par le plugin. Il devient donc inutile de renommer les scripts avec une extension en majuscule pour contourner le fonctionnement du plugin.
→ On coche la case et le tour est joué.

A+
Michel

3 « J'aime »