The easiest way to check the version of Raspbian OS running on your
Raspberry Pi is to use the
As you can see from the above, you get the full version (major and minor release numbers – 9.4) plus the distributor ID (Raspbian) and the current major release codename:
stretch (this codename is usually specified in
/etc/apt/sources.list file to be used by the apt tool).
Finally, if you were looking for the Linux kernel information, just use