On Sun, Apr 21, 2024 at 12:32:38PM +0200, Jürgen Spitzmüller wrote:
> Am Sonntag, dem 21.04.2024 um 12:20 +0200 schrieb Pavel Sanda:
> > Actually I'm not sure I understand the lifecycle of chkconfig.ltx.
> > After renaming to chkconfig.ltx.bak some fresh chkconfig.ltx will be
> > created there or
Am Sonntag, dem 21.04.2024 um 11:59 +0200 schrieb Pavel Sanda:
> Will do if you are fine with my proposal.
Yes, sure.
--
Jürgen
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
Am Sonntag, dem 21.04.2024 um 12:20 +0200 schrieb Pavel Sanda:
> Actually I'm not sure I understand the lifecycle of chkconfig.ltx.
> After renaming to chkconfig.ltx.bak some fresh chkconfig.ltx will be
> created there or only chkconfig.ltx.bak remains?
The latter. Let me explain:
The problem is
On Sun, Apr 21, 2024 at 11:47:59AM +0200, Pavel Sanda wrote:
> On Sun, Apr 21, 2024 at 11:42:08AM +0200, Pavel Sanda wrote:
> > On Sat, Apr 20, 2024 at 12:57:49PM +, Juergen Spitzmueller wrote:
> > > + frontend::Alert::warning(_("Outdated
> > > configuration script
On Sun, Apr 21, 2024 at 11:48:22AM +0200, Jürgen Spitzmüller wrote:
> Am Sonntag, dem 21.04.2024 um 11:42 +0200 schrieb Pavel Sanda:
> > Not sure if it's woth the flurry of new commits, but:
> > 1) "We" sounds somewhat unusual in our messages
> > 2) "If you did not copy the script there" was
Am Sonntag, dem 21.04.2024 um 11:42 +0200 schrieb Pavel Sanda:
> Not sure if it's woth the flurry of new commits, but:
> 1) "We" sounds somewhat unusual in our messages
> 2) "If you did not copy the script there" was somewhat confusing on
> first reading as it does not relate to the previous
On Sun, Apr 21, 2024 at 11:42:08AM +0200, Pavel Sanda wrote:
> On Sat, Apr 20, 2024 at 12:57:49PM +, Juergen Spitzmueller wrote:
> > + frontend::Alert::warning(_("Outdated
> > configuration script detected!"),
> > + _("We have
On Sat, Apr 20, 2024 at 12:57:49PM +, Juergen Spitzmueller wrote:
> + frontend::Alert::warning(_("Outdated
> configuration script detected!"),
> + _("We have detected an outdated script
> 'chkconfig.ltx' in your user