Re: Wrong distro detected?

Hi Marcus, all > On October 17, 2018 at 8:13 PM Marcus wrote: > OK, a suggestion: > > Let's do the 4.1.6 release and look closely for such comments. When > there are many comments that DEB would be the better default then we > should change it. Sounds like a good plan! Thanks! Regards Pedro

Re: Wrong distro detected?

Am 17.10.2018 um 10:23 schrieb Pedro Lino: On October 16, 2018 at 11:16 PM Marcus wrote: 1) For versions until 4.1.5 (our current one) links for MD5 hash values are still offered but no longer for newer versions. 2) When Linux is choosen as platform, a new link "RPM vs. DEB = What to choose?

Re: Wrong distro detected?

Hi Marcus, all > On October 16, 2018 at 11:16 PM Marcus wrote: > > 1) For versions until 4.1.5 (our current one) links for MD5 hash values > > are still offered but no longer for newer versions. > > > > 2) When Linux is choosen as platform, a new link "RPM vs. DEB = What to > > choose?" is of

Re: Wrong distro detected?

Am 14.10.2018 um 17:32 schrieb Marcus: Am 10.09.2018 um 23:52 schrieb Marcus: Am 10.09.2018 um 23:29 schrieb Matthias Seidel: Am 10.09.2018 um 23:19 schrieb Marcus: Am 10.09.2018 um 23:10 schrieb Matthias Seidel: Am 10.09.2018 um 22:32 schrieb Marcus: Am 06.09.2018 um 22:06 schrieb Marcus:

Re: Wrong distro detected?

Am 10.09.2018 um 23:52 schrieb Marcus: Am 10.09.2018 um 23:29 schrieb Matthias Seidel: Am 10.09.2018 um 23:19 schrieb Marcus: Am 10.09.2018 um 23:10 schrieb Matthias Seidel: Am 10.09.2018 um 22:32 schrieb Marcus: Am 06.09.2018 um 22:06 schrieb Marcus: Am 06.09.2018 um 17:37 schrieb Matthias

Re: Wrong distro detected?

Am 10.09.2018 um 23:29 schrieb Matthias Seidel: Am 10.09.2018 um 23:19 schrieb Marcus: Am 10.09.2018 um 23:10 schrieb Matthias Seidel: Am 10.09.2018 um 22:32 schrieb Marcus: Am 06.09.2018 um 22:06 schrieb Marcus: Am 06.09.2018 um 17:37 schrieb Matthias Seidel: Am 05.09.2018 um 21:37 schrieb

Re: Wrong distro detected?

Am 10.09.2018 um 23:19 schrieb Marcus: > Am 10.09.2018 um 23:10 schrieb Matthias Seidel: >> Am 10.09.2018 um 22:32 schrieb Marcus: >>> Am 06.09.2018 um 22:06 schrieb Marcus: Am 06.09.2018 um 17:37 schrieb Matthias Seidel: > Am 05.09.2018 um 21:37 schrieb Marcus: >> Am 02.09.2018 um 23:

Re: Wrong distro detected?

Am 10.09.2018 um 23:10 schrieb Matthias Seidel: Am 10.09.2018 um 22:32 schrieb Marcus: Am 06.09.2018 um 22:06 schrieb Marcus: Am 06.09.2018 um 17:37 schrieb Matthias Seidel: 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

Re: Wrong distro detected?

Hi Marcus, Am 10.09.2018 um 22:32 schrieb Marcus: > Am 06.09.2018 um 22:06 schrieb Marcus: >> Am 06.09.2018 um 17:37 schrieb Matthias Seidel: >>> 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 >> wro

Re: Wrong distro detected?

Am 06.09.2018 um 22:06 schrieb Marcus: Am 06.09.2018 um 17:37 schrieb Matthias Seidel: 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 wrote: It may be useful to know that the terminal command inxi -S will di

Re: Wrong distro detected?

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 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 awa

Re: Wrong distro detected?

Am 06.09.2018 um 17:37 schrieb Matthias Seidel: 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 wrote: It may be useful to know that the terminal command inxi -S will display the distro name. I am sure there a

Re: Wrong distro detected?

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 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 t

Re: Wrong distro detected?

Am 02.09.2018 um 23:20 schrieb Pedro Lino: On September 2, 2018 at 9:42 PM Rory O'Farrell 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

Re: Wrong distro detected?

On 2018-09-02 8:42 p.m., Rory O'Farrell wrote: > It may be useful to know that the terminal command > inxi -S Might need to emphasize that that is the majuscle S, not minuscle s. > will display the distro name. I am sure there are other commands to do so of > which I am not aware. inxi -r g

Re: Wrong distro detected?

On 2018-09-02 8:49 a.m., Matthias Seidel wrote: > Apparently the problem is even bigger: I'm now running Ubuntu 16.04.5 x64 and > I'm still offered the RPMs (see table below) Using Pale Moon 27.9.3 with English (Canada) as the UI language. My User-Agent is "Mozilla/5.0 (Macintosh; Intel Mac OS

Re: Wrong distro detected?

On 2018-09-02 11:25 a.m., Rory O'Farrell wrote: > I used the Firefox from the Ubuntu distro, and assumed that was a "standard" > Firefox. Ubuntu adds their own special sauce, that, as is usual for those that compile distros, completely, utterly, and absolutely breaks the program. jonathon 0x

Re: Wrong distro detected?

Hi Rory, all > On September 2, 2018 at 9:42 PM Rory O'Farrell 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

Re: Wrong distro detected?

On Sun, 2 Sep 2018 22:34:56 +0200 Andrea Pescetti wrote: > Pedro Lino wrote: > > So this means that the correct Distro information needs to be extracted > > from somewhere else. > > All we have is the user agent. And a user agent like your example: > > "Mozilla/5.0 (X11; Linux x86_64; rv:52.0)

Re: Wrong distro detected?

Pedro Lino wrote: So this means that the correct Distro information needs to be extracted from somewhere else. All we have is the user agent. And a user agent like your example: "Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Firefox/52.0" bears no indication of the distribution, so

Re: Wrong distro detected?

Am 02.09.2018 um 13:27 schrieb Rory O'Farrell: On Sun, 2 Sep 2018 11:28:24 +0200 Marcus wrote: Am 02.09.2018 um 11:11 schrieb Pedro Lino: On September 2, 2018 at 9:49 AM Matthias Seidel mailto:matthias.sei...@hamburg.de > wrote: > > Maybe something changed in Debian/Ubuntu?

Re: Wrong distro detected?

Actually that was not correct. Mozilla provides the tar.bz2 when it detects Linux... Ah, well... > On September 2, 2018 at 12:41 PM Pedro Lino wrote: > Curiously, the previous link offers me the right DEBS so we (AOO) we need to > find out how Mozilla does it... Anyone with an RPM based distro

Re: Wrong distro detected?

Hi Rory, all > On September 2, 2018 at 12:25 PM Rory O'Farrell wrote: > > On a similar Xubuntu 18.04.01 64 bit machine, using Firefox I am > > offered OO Linux 64-bit (x86-64) (DEB) > > > > On that machine User Agent details are > > Mozilla/5.0 (X11; Ubuntu; Linux x86_6

Re: Wrong distro detected?

On Sun, 2 Sep 2018 11:28:24 +0200 Marcus wrote: > Am 02.09.2018 um 11:11 schrieb Pedro Lino: > >> On September 2, 2018 at 9:49 AM Matthias Seidel > >> mailto:matthias.sei...@hamburg.de > wrote: > >> > >> > >> > > Maybe something changed in Debian/Ubuntu? > >>> > >>> > No, but i

Re: Wrong distro detected?

On Sun, 2 Sep 2018 10:16:13 +0200 Matthias Seidel wrote: > Hi Rory, > > Am 02.09.2018 um 09:58 schrieb Rory O'Farrell: > > On Sun, 2 Sep 2018 07:51:37 +0100 > > Rory O'Farrell wrote: > > > >> On Sat, 1 Sep 2018 22:59:32 +0100 (WEST) > >> Pedro Lino wrote: > >> > On September 1, 2018 at 10

Re: Wrong distro detected?

Am 02.09.2018 um 11:11 schrieb Pedro Lino: On September 2, 2018 at 9:49 AM Matthias Seidel mailto:matthias.sei...@hamburg.de > wrote: > > Maybe something changed in Debian/Ubuntu? > No, but is your version from the repos? It seems to be an ESR (plain Mozilla, no Ubuntu

Re: Wrong distro detected?

> On September 2, 2018 at 9:49 AM Matthias Seidel mailto:matthias.sei...@hamburg.de > wrote: > > > > > Maybe something changed in Debian/Ubuntu? > > > > > No, but is your version from the repos? It seems to be an ESR > > (plain > Mozilla, no Ubuntu in the User Agent). >

Re: Wrong distro detected?

Am 02.09.2018 um 10:42 schrieb Pedro Lino: On September 2, 2018 at 9:06 AM Marcus wrote: when you have problems with the download please have a look here: https://www.openoffice.org/download/analyze.html That is an useful tool (maybe the link to it should be "Report download problems" inste

Re: Wrong distro detected?

Hi Pedro, Am 02.09.2018 um 10:42 schrieb Pedro Lino: > Hi Marcus > >> On September 2, 2018 at 9:06 AM Marcus wrote: >> when you have problems with the download please have a look here: >> https://www.openoffice.org/download/analyze.html > That is an useful tool (maybe the link to it should be "Re

Re: Wrong distro detected?

Hi Marcus > On September 2, 2018 at 9:06 AM Marcus wrote: > when you have problems with the download please have a look here: > https://www.openoffice.org/download/analyze.html That is an useful tool (maybe the link to it should be "Report download problems" instead of "Report broken link") A

Re: Wrong distro detected?

Hi Rory, Am 02.09.2018 um 09:58 schrieb Rory O'Farrell: > On Sun, 2 Sep 2018 07:51:37 +0100 > Rory O'Farrell wrote: > >> On Sat, 1 Sep 2018 22:59:32 +0100 (WEST) >> Pedro Lino wrote: >> On September 1, 2018 at 10:15 PM Rory O'Farrell wrote: I am now using Opera 55 on Xubuntu 18.04.01

Re: Wrong distro detected?

Am 01.09.2018 um 22:36 schrieb Pedro Lino: You are using Chrome? No. I'm using the included browser Firefox ESR 52.9.0 (32 bit) when you have problems with the download please have a look here: https://www.openoffice.org/download/analyze.html With that information it's easier to anal

Re: Wrong distro detected?

On Sun, 2 Sep 2018 07:51:37 +0100 Rory O'Farrell wrote: > On Sat, 1 Sep 2018 22:59:32 +0100 (WEST) > Pedro Lino wrote: > > > > > > On September 1, 2018 at 10:15 PM Rory O'Farrell wrote: > > > > > I am now using Opera 55 on Xubuntu 18.04.01 54 bit. Out of interest I > > > accessed the downl

Re: Wrong distro detected?

On Sat, 1 Sep 2018 22:59:32 +0100 (WEST) Pedro Lino wrote: > > > On September 1, 2018 at 10:15 PM Rory O'Farrell wrote: > > > I am now using Opera 55 on Xubuntu 18.04.01 54 bit. Out of interest I > > accessed the download site and it wanted to download Linux 64-bit (x86-64) > > (RPM), where

Re: Wrong distro detected?

> On September 1, 2018 at 10:15 PM Rory O'Farrell wrote: > I am now using Opera 55 on Xubuntu 18.04.01 54 bit. Out of interest I > accessed the download site and it wanted to download Linux 64-bit (x86-64) > (RPM), whereas it should have been Linux 64-bit (x84-64) (DEB) > > My User Agent de

Re: Wrong distro detected?

On Sat, 1 Sep 2018 22:44:53 +0200 Matthias Seidel wrote: > Am 01.09.2018 um 22:36 schrieb Pedro Lino: > >> You are using Chrome? > >> > >> > > > > No. I'm using the included browser Firefox ESR 52.9.0 (32 bit) > > > > Can you post your User Agent? > https://www.whoishostingthis.com/tools/use

Re: Wrong distro detected?

Am 01.09.2018 um 23:00 schrieb Pedro Lino: >> Can you post your User Agent? >> https://www.whoishostingthis.com/tools/user-agent/ >> >> Firefox on my system (Ubuntu 16.94) has: >> Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:61.0) Gecko/20100101 >> Firefox/61.0 >> >> It identifies wi

Re: Wrong distro detected?

> Can you post your User Agent? > https://www.whoishostingthis.com/tools/user-agent/ > > Firefox on my system (Ubuntu 16.94) has: > Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:61.0) Gecko/20100101 > Firefox/61.0 > > It identifies with "Ubuntu", so our website can guess the packag

Re: Wrong distro detected?

Am 01.09.2018 um 22:36 schrieb Pedro Lino: >> You are using Chrome? >> >> > > No. I'm using the included browser Firefox ESR 52.9.0 (32 bit) > Can you post your User Agent? https://www.whoishostingthis.com/tools/user-agent/ Firefox on my system (Ubuntu 16.94) has: Mozilla/5.0 (X11; Ubuntu; Li

Re: Wrong distro detected?

> You are using Chrome? > > No. I'm using the included browser Firefox ESR 52.9.0 (32 bit)

Re: Wrong distro detected?

Hi Pedro, Am 01.09.2018 um 22:15 schrieb Pedro Lino: > Hi all > > > I'm running Debian GNU/Linux 9 (stretch) 32-bit but when I click on > http://www.openoffice.org/download/index.html > > I am offered the Linux 32bit RPM. You are using Chrome? Regards,    Matthias > > Can someone verify/fix th

Wrong distro detected?

Hi all I'm running Debian GNU/Linux 9 (stretch) 32-bit but when I click on http://www.openoffice.org/download/index.html I am offered the Linux 32bit RPM. Can someone verify/fix this? Regards, Pedro