Re: Some new additions & changes to 'ver_linux'

Joel Klecker (jk@espy.org)
Sun, 26 Apr 1998 02:13:13 -0700


Here's a quick diff to add "support" for Debian GNU/Linux systems:

--- linux_ver~ Sun Apr 26 02:05:10 1998
+++ linux_ver Sun Apr 26 02:07:14 1998
@@ -14,6 +14,10 @@ if [ -f /var/adm/packages/hdsetup ]; the
grep -i 'system v' /var/adm/packages/hdsetup | awk \
'{print $3,$7,$8}'
fi
+# check for Debian GNU/Linux
+if [ -f /etc/debian_version ]; then
+echo -n "Debian GNU/Linux "; cat /etc/debian_version
+fi
# check for redhat
if [ -f /etc/redhat-release ]; then
echo -n "Red Hat ";cat /etc/redhat-release

--
Joel "Espy" Klecker    <mailto:jk@espy.org>    <http://web.espy.org/>
Debian GNU/Linux Developer...................<http://www.debian.org/>

- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu