Anders Kaseorg
|
befb56f905
|
install-shellcheck: Upgrade ShellCheck from 0.7.2 to 0.8.0.
Signed-off-by: Anders Kaseorg <anders@zulip.com>
|
2021-12-03 14:33:53 -08:00 |
Anders Kaseorg
|
47897c76a2
|
scripts: Use curl -f (--fail).
This makes curl exit with nonzero status on HTTP 4xx/5xx errors.
Signed-off-by: Anders Kaseorg <anders@zulip.com>
|
2021-07-13 16:47:49 -07:00 |
Anders Kaseorg
|
91bfebca7d
|
install: Replace wget with curl.
curl uses Happy Eyeballs to avoid long timeouts on systems with broken
IPv6.
Signed-off-by: Anders Kaseorg <anders@zulip.com>
|
2021-06-25 09:05:07 -07:00 |
Anders Kaseorg
|
ee48dc6d33
|
install-shellcheck: Upgrade ShellCheck from 0.7.1 to 0.7.2.
Signed-off-by: Anders Kaseorg <anders@zulip.com>
|
2021-06-08 16:01:14 -07:00 |
Gilbert Bishop-White
|
d808dca28f
|
install-shellcheck: Add aarch64 support.
This fixes a problem provisioning on an ARM64 computer. Tested by
running on M1 Mac.
Fixes part of #18614
|
2021-05-27 16:01:42 -07:00 |
Anders Kaseorg
|
dfaea9df65
|
shfmt: Reformat shell scripts with shfmt.
https://github.com/mvdan/sh
Signed-off-by: Anders Kaseorg <anders@zulip.com>
|
2020-10-15 15:16:00 -07:00 |
Anders Kaseorg
|
cf60493f8e
|
install-shellcheck: Upgrade ShellCheck to 0.7.1.
ShellCheck binary releases have moved to GitHub:
https://github.com/koalaman/shellcheck/issues/1871
Signed-off-by: Anders Kaseorg <anders@zulip.com>
|
2020-06-07 11:06:57 -07:00 |
Anders Kaseorg
|
6983491a0f
|
install-{sgrep,shellcheck}: Check that we detect the version correctly.
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
|
2020-04-22 15:05:17 -07:00 |
Anders Kaseorg
|
9d75eb0ad5
|
install-shellcheck: Check the tarball’s SHA-256 hash.
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
|
2020-03-31 15:01:54 -07:00 |
Anders Kaseorg
|
5e89a7d646
|
install-shellcheck: Upgrade ShellCheck from 0.6.0 to 0.7.0.
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
|
2019-11-11 16:26:31 -08:00 |
Tim Abbott
|
27b3c1a312
|
provision: Move install-shellcheck to proper directory.
Scripts in scripts/ should be exclusively code that used in
production, and this isn't.
|
2019-09-24 12:54:33 -07:00 |