This assures consistent recording of the enabled linters.
This applies the same fix as #15170 to lint-python.sh
This assures consistent recording of the enabled linters.
utACK 948d8f4f10c31220ba4b6779cc862e2b6a0af5f6
Much nicer. Thanks for doing this!
0 | @@ -1,4 +1,4 @@ 1 | -#!/bin/sh 2 | +#!/usr/bin/env bash
Adding a specific dependency on bash is acceptable, because other linter scripts already rely on bash-isms anyway, I suppose?
Edit: ah yes, I see this was one of the few scripts in lint that didn't have a specific bash shebang.
utACK 948d8f4f10c31220ba4b6779cc862e2b6a0af5f6