diff options
author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-01-27 22:59:31 -0700 |
---|---|---|
committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-01-27 23:05:01 -0700 |
commit | fdd80b98e9419dc0eaaa367f919252420d4f7676 (patch) | |
tree | 4d428f1a8111f43455a5ee272df73dd13dc25202 /build-aux/lint-unknown | |
parent | 5b725e3888442777bdb5c0d656238a13414990b3 (diff) |
make lint: Have the output be a little prettier
Diffstat (limited to 'build-aux/lint-unknown')
-rwxr-xr-x | build-aux/lint-unknown | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/build-aux/lint-unknown b/build-aux/lint-unknown index 59e83c2..3c2e91b 100755 --- a/build-aux/lint-unknown +++ b/build-aux/lint-unknown @@ -4,4 +4,7 @@ # Copyright (C) 2024-2025 Luke T. Shumaker <lukeshu@lukeshu.com> # SPDX-License-Identifier: AGPL-3.0-or-later -printf "%s: cannot lint unknown file type\n" "$@" >&2 +RED=$(tput setaf 1) +RESET=$(tput sgr0) + +printf "${RED}%s${RESET}: cannot lint unknown file type\n" "$@" >&2 |