Hi Marcus, Am 05.09.2018 um 21:37 schrieb Marcus: > Am 02.09.2018 um 23:20 schrieb Pedro Lino: >>> On September 2, 2018 at 9:42 PM Rory O'Farrell <ofarr...@iol.ie> 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.
When you are at it... ;-) Did you have a chance to look at the needed changes for the updated Release Policy? https://bz.apache.org/ooo/show_bug.cgi?id=127530 Regards, Matthias > > Thanks for suggesting, also to Andrea. ;-) > > Marcus > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org > For additional commands, e-mail: dev-h...@openoffice.apache.org > >
smime.p7s
Description: S/MIME Cryptographic Signature