Updating /etc/debian_version and related files
Hello.
We usually update /etc/debian_version at every point release.
AFAIK, this is what everybody wants.
But there are other files that could be updated that we have never
updated yet. In fact, I have a bug filed about this, namely #621757
and the only rationale is that the other files "are often customized by
the user", which I don't believe it happens so often, and therefore I
don't think it is a reason good enough to not update the other files.
So I have three proposals, in order of preference:
* The "good": Update the four files at every point release, as in the
first patch. This fixes #621757 and I think it is the logical thing to do.
* The "ugly": Update only /etc/debian_version, as in squeeze, but fix
the mistake of specifying "7.0" when in fact that will only be true for
Debian 7.0 and not Debian 7.1. This would be the second patch.
* The "bad": Do nothing. Update /etc/debian_version only, which means
the other files would say "7.0" and it would be wrong in Debian 7.1.
So: Could I please do what I think it's the right thing and update all
the four files involved?
Regarding the possible side effects of doing the right thing: Of course,
we can *never* be 100% sure that there will *not* be a braindead package
that checks for any of such files being exactly "7.0" and fails if it is
"7.1". However, we would surely agree that such package would be
certainly braindead and I think we can reasonably consider that such
kind of bugs, if they arise, would be easy to fix. If we could not do
what is right for fear that broken packages, well, break, we would never
fix anything at all.
Thanks.
--- a/etc/debian_version
+++ b/etc/debian_version
@@ -1 +1 @@
-7.0
+7.1
--- a/etc/issue
+++ b/etc/issue
@@ -1,2 +1,2 @@
-Debian #OSNAME# 7.0 \n \l
+Debian #OSNAME# 7.1 \n \l
--- a/etc/issue.net
+++ b/etc/issue.net
@@ -1 +1 @@
-Debian #OSNAME# 7.0
+Debian #OSNAME# 7.1
--- a/etc/os-release
+++ b/etc/os-release
@@ -1,7 +1,7 @@
-PRETTY_NAME="Debian #OSNAME# 7.0 (wheezy)"
+PRETTY_NAME="Debian #OSNAME# 7.1 (wheezy)"
NAME="Debian #OSNAME#"
-VERSION_ID="7.0"
-VERSION="7.0 (wheezy)"
+VERSION_ID="7.1"
+VERSION="7.1 (wheezy)"
ID=debian
ANSI_COLOR="1;31"
HOME_URL="http://www.debian.org/";
--- a/etc/debian_version
+++ b/etc/debian_version
@@ -1 +1 @@
-7.0
+7.1
--- a/etc/issue
+++ b/etc/issue
@@ -1,2 +1,2 @@
-Debian #OSNAME# 7.0 \n \l
+Debian #OSNAME# 7 \n \l
--- a/etc/issue.net
+++ b/etc/issue.net
@@ -1 +1 @@
-Debian #OSNAME# 7.0
+Debian #OSNAME# 7
--- a/etc/os-release
+++ b/etc/os-release
@@ -1,7 +1,7 @@
-PRETTY_NAME="Debian #OSNAME# 7.0 (wheezy)"
+PRETTY_NAME="Debian #OSNAME# 7 (wheezy)"
NAME="Debian #OSNAME#"
-VERSION_ID="7.0"
-VERSION="7.0 (wheezy)"
+VERSION_ID="7"
+VERSION="7 (wheezy)"
ID=debian
ANSI_COLOR="1;31"
HOME_URL="http://www.debian.org/";
Reply to: