Date: Mon, 26 Dec 2011 20:28:43 -0800
From: Stan Shebs<stanshebs@earthlink.net>
Here is a third revision of the 'info os' additions for Linux; it rolls
up Kwok's original patch plus requested edits, plus a few more comments
and tweaks. I plan to commit this in a day or so, if there are no
objections.
I already voiced an objection the first time: I think Linux-specific
OS information doesn't belong to "info os", which should be for
commands generally available on all supported systems. I would
support an "info linux" command for what you want here.