Re: [sage-devel] cannot change locale prevents me from running patchbot

2020-08-25 Thread Dima Pasechnik
On Tue, 25 Aug 2020, 16:52 'Reimundo Heluani' via sage-devel, < sage-devel@googlegroups.com> wrote: > On Aug 25, Dima Pasechnik wrote: > >On Tue, Aug 25, 2020 at 3:40 PM 'Reimundo Heluani' via sage-devel > > wrote: > >> > >> On Aug 25, Dima Pasechnik wrote: > >> >On Tue, Aug 25, 2020 at 2:23 PM 'R

Re: [sage-devel] cannot change locale prevents me from running patchbot

2020-08-25 Thread 'Reimundo Heluani' via sage-devel
On Aug 25, Dima Pasechnik wrote: On Tue, Aug 25, 2020 at 3:40 PM 'Reimundo Heluani' via sage-devel wrote: On Aug 25, Dima Pasechnik wrote: >On Tue, Aug 25, 2020 at 2:23 PM 'Reimundo Heluani' via sage-devel > wrote: >> >> Hello, now that GCC-10 has been merged I wanted to run a patchbot again.

Re: [sage-devel] cannot change locale prevents me from running patchbot

2020-08-25 Thread Michael Orlitzky
On 2020-08-25 10:39, 'Reimundo Heluani' via sage-devel wrote: >> > That locale seems to be an invention of Debian that Ubuntu started using. > This > was closed as wontfix 8 years ago on Arch. > > https://bugs.archlinux.org/task/32296 > > It seems to me that having these test failing and flood

Re: [sage-devel] cannot change locale prevents me from running patchbot

2020-08-25 Thread 'Reimundo Heluani' via sage-devel
On Aug 25, Dima Pasechnik wrote: On Tue, Aug 25, 2020 at 3:40 PM 'Reimundo Heluani' via sage-devel wrote: On Aug 25, Dima Pasechnik wrote: >On Tue, Aug 25, 2020 at 2:23 PM 'Reimundo Heluani' via sage-devel > wrote: >> >> Hello, now that GCC-10 has been merged I wanted to run a patchbot again.

Re: [sage-devel] cannot change locale prevents me from running patchbot

2020-08-25 Thread Dima Pasechnik
On Tue, Aug 25, 2020 at 3:40 PM 'Reimundo Heluani' via sage-devel wrote: > > On Aug 25, Dima Pasechnik wrote: > >On Tue, Aug 25, 2020 at 2:23 PM 'Reimundo Heluani' via sage-devel > > wrote: > >> > >> Hello, now that GCC-10 has been merged I wanted to run a patchbot again. > >> The > >> issue of t

Re: [sage-devel] cannot change locale prevents me from running patchbot

2020-08-25 Thread Dima Pasechnik
On Tue, Aug 25, 2020 at 3:40 PM 'Reimundo Heluani' via sage-devel wrote: > > On Aug 25, Dima Pasechnik wrote: > >On Tue, Aug 25, 2020 at 2:23 PM 'Reimundo Heluani' via sage-devel > > wrote: > >> > >> Hello, now that GCC-10 has been merged I wanted to run a patchbot again. > >> The > >> issue of t

Re: [sage-devel] cannot change locale prevents me from running patchbot

2020-08-25 Thread 'Reimundo Heluani' via sage-devel
On Aug 25, Dima Pasechnik wrote: On Tue, Aug 25, 2020 at 2:23 PM 'Reimundo Heluani' via sage-devel wrote: Hello, now that GCC-10 has been merged I wanted to run a patchbot again. The issue of the non-existing C-locale C.UTF-8 prevents me from doing so since there are tests that failed like so:

Re: [sage-devel] cannot change locale prevents me from running patchbot

2020-08-25 Thread Dima Pasechnik
On Tue, Aug 25, 2020 at 2:23 PM 'Reimundo Heluani' via sage-devel wrote: > > Hello, now that GCC-10 has been merged I wanted to run a patchbot again. The > issue of the non-existing C-locale C.UTF-8 prevents me from doing so since > there are tests that failed like so: > > File "src/sage/tests/cmd

[sage-devel] cannot change locale prevents me from running patchbot

2020-08-25 Thread 'Reimundo Heluani' via sage-devel
Hello, now that GCC-10 has been merged I wanted to run a patchbot again. The issue of the non-existing C-locale C.UTF-8 prevents me from doing so since there are tests that failed like so: File "src/sage/tests/cmdline.py", line 227, in sage.tests.cmdline.test_executable Failed example: err