2 commits

Author	SHA1	Message	Date
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
Darcy Wong	63ff7d4039	chore(web): Move script to tools/	2021-05-28 09:55:19 +07:00

Renamed from web/s_keyman_com.sh (Browse further)