Re: GDB looses pgrp setting in the terminal for debugged process after break.

2021-05-06 Thread Jon Turney
On 02/05/2021 17:16, Takashi Yano via Cygwin wrote: On Sat, 6 Feb 2021 00:26:54 +0900 Takashi Yano wrote: On Fri, 5 Feb 2021 19:34:57 +0900 Takashi Yano wrote: On Tue, 26 Jan 2021 12:14:02 +0900 Takashi Yano wrote: Hi GDB maintainer, Sorry! I meant to go back and look at this, but I forgot.

Re: realpath issue with native[strict] symlinks

2021-05-06 Thread Orgad Shaneh via Cygwin
On Thu, May 6, 2021 at 8:44 PM Corinna Vinschen wrote: > > On May 4 22:52, Orgad Shaneh via Cygwin wrote: > > On Tue, Apr 27, 2021 at 8:44 AM Orgad Shaneh wrote: > > > > > > On Apr 19 12:58, Corinna Vinschen via Cygwin wrote: > > > > On Apr 18 10:59, Orgad Shaneh via Cygwin wrote: > > > > > > >

Re: realpath issue with native[strict] symlinks

2021-05-06 Thread Corinna Vinschen via Cygwin
On May 4 22:52, Orgad Shaneh via Cygwin wrote: > On Tue, Apr 27, 2021 at 8:44 AM Orgad Shaneh wrote: > > > > On Apr 19 12:58, Corinna Vinschen via Cygwin wrote: > > > On Apr 18 10:59, Orgad Shaneh via Cygwin wrote: > > > > > I was going to write: > > > > > > Nothing we can do about without re-i

Re: Building Coq in Cygwin

2021-05-06 Thread Eliot Moss
On 5/6/2021 8:22 AM, David Allsopp via Cygwin wrote: > I fixed the underlying problem in OCaml 4.12, but I haven't had time to propose > adopting the Cygwin packages yet - I'm hoping to over the next few months. > > The short-term workaround is either to use Cygwin32 or to install the opam, lib

RE: Building Coq in Cygwin

2021-05-06 Thread David Allsopp via Cygwin
Marco Atzeri wrote: > On 06.05.2021 02:56, Eliot Moss wrote: > > Folks - Before I try to Coq mailing lists, I am wondering if anyone > > here has had success building Coq under Cygwin.  I've tried the dune > > and the make approaches, and both fail, in different ways, but > > seemingly because some

Re: Screen clearing in CMD without "Legacy Console Mode"

2021-05-06 Thread Takashi Yano via Cygwin
On Thu, 6 May 2021 18:12:38 +0900 Takashi Yano via Cygwin> wrote: > On Wed, 5 May 2021 15:07:04 +0200 (CEST) > Johannes Schindelin wrote: > > Hi, > > > > On Fri, 30 Apr 2021, Kevin Locke wrote: > > > > > On Fri, 2021-04-30 at 23:53 +0900, Takashi Yano wrote: > > > > On Fri, 30 Apr 2021 08:25:12 -

Re: Screen clearing in CMD without "Legacy Console Mode"

2021-05-06 Thread Takashi Yano via Cygwin
On Wed, 5 May 2021 15:07:04 +0200 (CEST) Johannes Schindelin wrote: > Hi, > > On Fri, 30 Apr 2021, Kevin Locke wrote: > > > On Fri, 2021-04-30 at 23:53 +0900, Takashi Yano wrote: > > > On Fri, 30 Apr 2021 08:25:12 -0600 Kevin Locke wrote: > > >> I'm investigating an issue in Git for Windows[^1],