From 83723fddec1dc915a4a946b9eb303b56bebe166b Mon Sep 17 00:00:00 2001 From: Santiago Vila Date: Mon, 12 May 2025 20:50:00 +0200 Subject: [PATCH] Change release files for Debian 13. etc/debian_version etc/issue etc/issue.net etc/os-release --- etc/debian_version | 2 +- etc/issue | 2 +- etc/issue.net | 2 +- etc/os-release | 6 ++++-- 4 files changed, 7 insertions(+), 5 deletions(-) diff --git a/etc/debian_version b/etc/debian_version index 201ac20..f075061 100644 --- a/etc/debian_version +++ b/etc/debian_version @@ -1 +1 @@ -trixie/sid +13.0 diff --git a/etc/issue b/etc/issue index 307ea65..2e4b471 100644 --- a/etc/issue +++ b/etc/issue @@ -1,2 +1,2 @@ -Debian #OSNAME# trixie/sid \n \l +Debian #OSNAME# 13 \n \l diff --git a/etc/issue.net b/etc/issue.net index 5153380..70779f8 100644 --- a/etc/issue.net +++ b/etc/issue.net @@ -1 +1 @@ -Debian #OSNAME# trixie/sid +Debian #OSNAME# 13 diff --git a/etc/os-release b/etc/os-release index 48ca529..59e72ad 100644 --- a/etc/os-release +++ b/etc/os-release @@ -1,5 +1,7 @@ -PRETTY_NAME="Debian #OSNAME# trixie/sid" -NAME="Debian #OSNAME#" +PRETTY_NAME="Debian #OSNAME# 13 (trixie)" +NAME="Debian GNU/Linux" +VERSION_ID="13" +VERSION="13 (trixie)" VERSION_CODENAME=trixie ID=debian HOME_URL="https://www.debian.org/"