spiegel-keyman/web/tools
Marc Durdin 767927bf16 chore(common): use /usr/bin/env bash
Fixes up scripts (except under /linux) to use `#!/usr/bin/env bash`
instead of `#!/bin/bash` or `#!/bin/sh` so that we don't end up with
the ancient version of bash supplied with macOS.

This became urgent with this PR, because of bash-4.xisms in
build-utils.sh, for example on line 572:

```
if [[ -v _builder_params[$e] ]]; then
```
2022-07-25 14:59:37 +10:00
..
recorder chore(web): rips out document.createEvent 2022-05-31 09:11:16 +07:00
sourcemap-root docs(web): better comments for new tool 2020-03-12 13:15:43 +07:00
check-build-size.sh Apply suggestions from code review 2022-06-25 07:49:01 +10:00
index.html chore(web): add 'index.html' to parent links in test pages 2022-06-17 05:58:37 +10:00
s_keyman_com.sh chore(common): use /usr/bin/env bash 2022-07-25 14:59:37 +10:00