Am 02.09.2018 um 23:20 schrieb Pedro Lino:
On September 2, 2018 at 9:42 PM Rory O'Farrell <[email protected]> wrote:
It may be useful to know that the terminal command
inxi -S
will display the distro name. I am sure there are other commands to do so of
which I am not aware.
inxi is not included in Debian or Ubuntu. lsb_release -a works
But the browser is not allowed to run terminal commands for obvious reasons ;)
I have not yet (not looked very hard) found any command that will disclose if
the distro needs RPM or DEB files
We would have to create a table with such correspondence. But the problem
remains: there is no way to get information on the Distro (except for Ubuntu's
Firefox)
The only solution seems to be Andrea's suggestion about adding information when
Linux is detected (this already happens when Android is detected so the
mechanism is already there)
just an additional info instead of a (mandatory) choise is indeed worth
to think twice. I'll do it on the weekend and play a bit with the
download scripting.
Thanks for suggesting, also to Andrea. ;-)
Marcus
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
