New mirror: ftp.halifax.rwth-aachen.de

2022-10-20 Thread Carsten Otto
Hi, we were asked to mirror Cygwin, so here it is! Contact information: f...@halifax.rwth-aachen.de URLs: https://ftp.halifax.rwth-aachen.de/cygwin/ http://ftp.halifax.rwth-aachen.de/cygwin/ ftp://ftp.halifax.rwth-aachen.de/cygwin/ rsync://ftp.halifax.rwth-aachen.de/cygwin/ Location: Euro

Re: Errors in building the documentation prevent compilation from completing properly

2022-10-20 Thread Denis Excoffier
> On 2022-10-20 12:29, Jon Turney wrote: > > On 19/10/2022 18:57, Denis Excoffier wrote: >> Hello, >> Currently i have docbook2X not working on my system (a perl problem >> that i don't know how to repair, but in a few months i will reinstall >> completely >> this C:\Cygwin64 which dates back t

Re: Errors in building the documentation prevent compilation from completing properly

2022-10-20 Thread Jon Turney
On 19/10/2022 18:57, Denis Excoffier wrote: Hello, Currently i have docbook2X not working on my system (a perl problem that i don't know how to repair, but in a few months i will reinstall completely this C:\Cygwin64 which dates back to 2019). This means that /usr/share/docbook2X and /usr/bin/d

Re: Debugging malloc crash in gdb

2022-10-20 Thread Ariel Burbaickij
Hello David, congrats on your bug fixing but gdb is pretty open that it considers it as its own bug while running its "inferior", somewhere here: if (tp->control.may_range_step) { /* If we're resuming a thread with the PC out of the step range, then we're doing some nested/finer run control operat

Re: Debugging malloc crash in gdb

2022-10-20 Thread David Allsopp
On Tue, 18 Oct 2022 at 20:09, Jon Turney wrote: > > On 18/10/2022 11:35, David Allsopp wrote: > > I'm wondering if I may be able to have some pointers for debugging what > > seems to be an unexpected interaction between mmap/mprotect/munmap and > > malloc with the OCaml runtime. > > > > At the mome

Re: substitute for xclip?

2022-10-20 Thread Backwoods BC
On Thu, Oct 20, 2022 at 12:27 AM Sam Edge wrote: > On 19/10/2022 23:52, Oliver Schoede wrote: > > Hi! > > > > On Wed, 19 Oct 2022 14:58:42 +0200 > > Ulli Horlacher wrote: > >> https://fex.rus.uni-stuttgart.de/fop/jFZ6T7wI/X-20221019141237.png > >> > >> I have selected [copy] in the file browser,

Re: substitute for xclip?

2022-10-20 Thread Sam Edge
On 19/10/2022 23:52, Oliver Schoede wrote: Hi! On Wed, 19 Oct 2022 14:58:42 +0200 Ulli Horlacher wrote: https://fex.rus.uni-stuttgart.de/fop/jFZ6T7wI/X-20221019141237.png I have selected [copy] in the file browser, but /dev/clipboard is empty. Also getclip gives me no output. It looks to m