From 2b83895d7383917cd2f813ced9d0db82d3ee85d6 Mon Sep 17 00:00:00 2001 From: Sean Molenaar Date: Wed, 12 Jul 2023 10:51:25 +0200 Subject: [PATCH] brew.sh: record OS version for non-debian linux --- Library/Homebrew/brew.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Library/Homebrew/brew.sh b/Library/Homebrew/brew.sh index de85379827..a225487ef9 100644 --- a/Library/Homebrew/brew.sh +++ b/Library/Homebrew/brew.sh @@ -581,7 +581,7 @@ then fi else HOMEBREW_PRODUCT="${HOMEBREW_SYSTEM}brew" - [[ -n "${HOMEBREW_LINUX}" ]] && HOMEBREW_OS_VERSION="$(lsb_release -s -d 2>/dev/null)" + [[ -n "${HOMEBREW_LINUX}" ]] && HOMEBREW_OS_VERSION="$(source /etc/os-release && echo $PRETTY__NAME)" : "${HOMEBREW_OS_VERSION:=$(uname -r)}" HOMEBREW_OS_USER_AGENT_VERSION="${HOMEBREW_OS_VERSION}"