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. -- Enrico -- lyx-devel mailing list [email protected] http://lists.lyx.org/mailman/listinfo/lyx-devel
