From 35a6cf7a94d6673307f682598ad755f0beabe697 Mon Sep 17 00:00:00 2001 From: Santiago Vila Date: Mon, 12 May 2025 20:55:00 +0200 Subject: [PATCH] Add DEBIAN_VERSION_FULL to os-release, with the same contents as /etc/debian_version. Closes: #931197. This is only expected to exist on stable releases. --- etc/os-release | 1 + 1 file changed, 1 insertion(+) diff --git a/etc/os-release b/etc/os-release index 59e72ad..a798b85 100644 --- a/etc/os-release +++ b/etc/os-release @@ -3,6 +3,7 @@ NAME="Debian GNU/Linux" VERSION_ID="13" VERSION="13 (trixie)" VERSION_CODENAME=trixie +DEBIAN_VERSION_FULL=13.0 ID=debian HOME_URL="https://www.debian.org/" SUPPORT_URL="https://www.debian.org/support"