[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: The hated xmltex/jadetex games in combination with new tex-common

Hi Florent!

> The algorithm I was thinking about was:
>   For every format F in fmtutil.cnf that depends[1] on a file that
>   belongs to the package whose postinst is being run, do:
>     Find the package p shipping F
>     If p isn't configured:
>       It will eventually be configured later, after all its
>       dependencies, so we don't have to worry about it.
>     else:
>       Since p is configured, !!!all its dependencies are also
>       configured!!!, therefore we can safely redump the format F.
> Not too complex, but unfortunately, the part between exclamation marks
> is a wrong assumption. :-|

And, how would one implement this? We would have to hack fmtutil to make
these checks, something we definitely don't want.

>   We don't [preserve]:
>      B <-Depends- C && installed(C) => installed(B)
>   as an invariant in general.
> This is something that bothers me and prevents me from devising a good
> solution to our format-updating problem.

Umpf, we should write an article about logical consequence relation in
Debian ;-)

> Well, so much for the brain dump.

Thanks for it, but I guess we leave the format playing stuff for the
next century, and I prepare another jadetex/xmltex package with the load
latex.ltx hack.

> > I haven't tried if this works and I am not sure if it would be better to
> > load latex.ini or latex.ltx in jadetex.ini. It would be a bit slower,
> > but I think we can ignore that issue.


Best wishes


Dr. Norbert Preining <preining AT logic DOT at>             Università di Siena
gpg DSA: 0x09C5B094      fp: 14DF 2E6C 0307 BE6D AD76  A9C0 D2BF 4AA3 09C5 B094
The prominent stain on a man's trouser crotch seen on his return from
the lavatory. A botley proper is caused by an accident with the push
taps, and should not be confused with any stain caused by insufficient
waggling of the willy.
			--- Douglas Adams, The Meaning of Liff

Reply to: