Fix generate.sh

[erikmd]

POSIX shells do not support brace expansion, so {,.} requires bash or so.

[erikmd]

Hi @palmskog @Zimmi48

During the preparation of the README.md of the coqoban repo, I wanted to use your mustache-based generator; I had first proposed that PR to do a small improvement of the generate.sh script, then noticed that the shellcheck linter was still not happy with the current version of the script, so I cloned the repo, do a second commit and pushed... without noticing that I had pushed this commit directly in master, not in the fix-generate :-/

I'm sorry for that branch mistake… hopefully it did not cause too much harm.

[erikmd]

So I propose to do a git revert of my commit and re-open another PR so that we can discuss that change?
sorry again :-/

[erikmd]

Hi @palmskog, on second thought the commit I inadvertently pushed directly to master is very fine (except that I had replaced mustache with pystache, which won't work as is, due to the input format difference I mentioned here: #14 (comment) ), so maybe you could push yourself another commit directly to master that revert this program name to mustache?

[palmskog]

@erikmd OK done

[Zimmi48]

I've changed /bin/bash into /usr/bin/env bash which is more portable (/bin/bash doesn't exist on NixOS for instance).

[erikmd]

OK thanks @Zimmi48