diff options
| author |  Santiago Vila <[email protected]> | 2025-05-12 20:55:00 +0200 |
|---|---|---|
| committer | Santiago Vila <[email protected]> | 2025-05-12 20:55:00 +0200 |
| commit | 35a6cf7a94d6673307f682598ad755f0beabe697 (patch) | |
| tree | 71b6b069040bfccaea4644a3c61582c4f84b84b1 /etc | |
| parent | 83723fddec1dc915a4a946b9eb303b56bebe166b (diff) | |
| download | base-files-35a6cf7a94d6673307f682598ad755f0beabe697.tar.gz base-files-35a6cf7a94d6673307f682598ad755f0beabe697.zip | |
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.
Diffstat (limited to '')
| -rw-r--r-- | etc/os-release | 1 |
1 files changed, 1 insertions, 0 deletions
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" |