On Fri, Oct 02, 2026 at 10:03:01PM +0200, Enrico Forestieri wrote: > On Fri, Oct 02, 2026 at 08:14:35AM +0200, Pavel Sanda wrote: > > On Thu, Oct 01, 2026 at 11:56:40PM +0200, Enrico Forestieri wrote: > > > Oh, if that was your intention, I have a better solution. Since version > > > 1.7.33 (November 2014, more or less) cygwin introduced a symlink > > > /proc/cygdrive pointing to the current cygdrive prefix (whatever it is). > > > > > > So, in your patch it suffices changing the line > > > string const cygdrive = "/cygdrive"; > > > to > > > string const cygdrive = "/proc/cygdrive"; > > > to account for whatever cygdrive prefix chosen by the user. > > > > The rest of the patch is fine with you? > > Yep
Landed as 17b0b6b0c4. Pavel -- lyx-devel mailing list [email protected] https://lists.lyx.org/mailman/listinfo/lyx-devel
