Guillaume Munch wrote: > Le 07/01/2016 22:09, Guillaume Munch a écrit : >> Le 03/01/2016 09:46, Georg Baum a écrit : >>> We have a script for updating the docs, examples and templates >>> (development/tools/updatedocs.py), and one for updating the ui and bind >>> files (development/tools/updatelfuns.sh). Or did you man something else? >>> >> >> Is there a reason why the scripts do not have exec permissions?
I guess it is lazyness. >> I >> initially ran "sh updatelfuns.sh" and this failed, emptying a dozen of >> files. After the second try I found that it requires bash, which would >> have been chosen automatically if it had been possible to run >> ./updatelfuns.sh directly. >> > > I do not wish to spend time finding out what exactly went wrong (if > someone wants to find out, my sh is Ubuntu's default which is dash) but > I suggest to add a check at the start of the script as per the attached > patch. Looks good. > Is there any other script where I should add this check? Dunno. There was a time when the zoo of script languages was reduced and all non-python scripts were rewritten in python, but somehow other script languages keep creeping in. I'd prefer if we could stick to python in the future again. I would not spend any time in non-python scripts, but convert them to python if problems occur. Georg
