Many thanks for your contribution, David, also very helpful! I thought about using an external script but was then reluctant to do so because I wanted everything to be self-contained. But you are right that it is going to be more readable.
I was not aware of the [[ ]] trick to use patterns in ifs! Awesome! So I guess I'll actually write an external script that uses this syntax. Best wishes, Sébastien. _______________________________________________ Help-make mailing list Help-make@gnu.org https://lists.gnu.org/mailman/listinfo/help-make
