From 4190e4b7ee1b7b9efc608a2aa2c36210e8073ab6 Mon Sep 17 00:00:00 2001 From: Alex Lowe Date: Fri, 20 Dec 2024 13:18:53 -0500 Subject: [PATCH] fix: replace some whitespace with other whitespace Thanks to @bepri for finding this --- .editorconfig | 2 +- common.mk | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.editorconfig b/.editorconfig index 5a54b3e..adea89a 100644 --- a/.editorconfig +++ b/.editorconfig @@ -14,7 +14,7 @@ trim_trailing_whitespace = true [.editorconfig] max_line_length = off -[Makefile] +[{Makefile,*.mk}] indent_style = tab [{*.py,*.pyi}] diff --git a/common.mk b/common.mk index 962eff4..823d88c 100644 --- a/common.mk +++ b/common.mk @@ -8,7 +8,7 @@ ifneq ($(OS),Windows_NT) OS := $(shell uname) endif ifdef CI - APT := apt-get --yes + APT := apt-get --yes else APT := apt-get endif @@ -245,7 +245,7 @@ ifneq ($(shell which pyright),) else ifneq ($(shell which snap),) sudo snap install --classic pyright else - # Workaround for a bug in npm + # Workaround for a bug in npm [ -d "$(HOME)/.npm/_cacache" ] && chown -R `id -u`:`id -g` "$(HOME)/.npm" || true uv tool install pyright endif