Thanks all - was [Re: Which version of Debian from which physical device?]

[Richard Owlett <rowlett@cloud85.net>]

On 10/8/2016 12:36 PM, Felix Miata wrote:
> Richard Owlett composed on 2016-10-08 10:47 (UTC-0500):
>
> > ...today, while chasing down an intermittent problem, I
> > needed to know which point release was active...
>
> cat /etc/debian_version

I never had need of "cat" before.
Exploring /etc was educational. Browsing randomly hints that much 
can be done to "have Debian *MY WAY* " [apologies to some fast 
food chain ;] Many man pages to investigate.

> > ...and which physical device contained the OS...
>
> (as Ben Finney already answered)
> mount | grep 'on / '

Worked nicely.