Debian Version im Sinne einer Nummer ausgeben lassen (stretch = 9.0):

cat /etc/debian_version
   9.4

Alternativ folgender Befehl, hier wird ein wenig mehr Information ausgegeben:

cat /etc/issue
Debian GNU/Linux 9 \n \l

Die Umfangreichste Ausgabe an Informationen bekommt man durch die Eingabe von:

lsb_release -a
 
No LSB modules are available.
Distributor ID: Debian
Description:    Debian GNU/Linux 9.4 (stretch)
Release:        9.4
Codename:       stretch

Weiter kann die Kernel Version mit diesem Befehl angezeigt werden lassen:

uname -a
 
 Linux debian 4.9.0-4-amd64 #1 SMP Debian 4.9.65-3+deb9u1 (2017-12-23) x86_64 GNU/Linux