Am Sun, 19 Apr 2020 11:27:08 +0200 schrieb Enrico Forestieri <[email protected]>:
> On Sun, Apr 19, 2020 at 10:54:07AM +0200, Kornel Benko wrote: > > > Am Sun, 19 Apr 2020 10:16:28 +0200 > > schrieb Stephan Witt <[email protected]>: > > > > > > The serverpipe entry in saved users preferences is written only on a > > > > explicit > > > > change of this entry by the user. The location of the pipe is derived > > > > from > > > > the installed lyxrc.dist then. > > > > > > To be more explicit: the lookup in user preferences fails and the pipe > > > location > > > must be guessed. This guess uses the installed lyxrc.dist. > > > > Too bad. > > Unfortunately, this is the same mechanism that is used on cygwin and the > change to lyxrc.dist.in breaks it, as well. Please, restore the previous > value for \serverpipe also in development/cygwin/lyxrc.dist.in, thanks. > Done. But we really need some way to give info about the correct pipe to the relevant programs IMHO. Kornel
pgp2Ewyc0jrkn.pgp
Description: Digitale Signatur von OpenPGP
-- lyx-devel mailing list [email protected] http://lists.lyx.org/mailman/listinfo/lyx-devel
