Re: USER-INIT-DIRECTORY and all that jazz
>>>> "Jan" == Jan Vroonhof
<vroonhof(a)math.ethz.ch> writes:
Jan> sperber(a)Informatik.Uni-Tuebingen.De (Michael Sperber [Mr. Preprocessor]) writes:
> Well, the thing is, this currently doesn't work because quite
a few
> places that should really use "~joe" just use "~" (packages and
info,
> to name just two). My knee-jerk reaction was to fix it, but the
> staging makes that so difficult I got a headache, and things still
> didn't work. Since nobody ever noticed the problem,
Jan> But when did it break, in 21.1.x?
Looking at the code, it's been broken forever, even though the degree
to which it varied has probably changed over time.
Jan> I know for a fact that users are using that feature.
What for?
Jan> Personally I think a fix should be attempted first.
I *did* try to fix it. I gave up after three hours. The whole logic
behind this is fundamentally flawed with respect to the staging.
--
Cheers =8-} Chipsy
Friede, Völkerverständigung und überhaupt blabla