codice:
$ cat /etc/debian_version