On Tuesday, May 5, 2020 at 12:00:28 AM UTC-4, David A. Wheeler wrote:
>
>
> We could continue to post Metamath-exe with a precompiled binary
> and have people store it in C:\metamath. That's not how software
> is usually installed on Windows, and it's clunky, but it *works*.
There are many
On Wed, 6 May 2020 00:45:22 -0700 (PDT), "'B. Wilson' via Metamath"
wrote:
> There also seems to be some tension about installation expectations. Some
> people like the fact that metamath Just Works by downloading and extracting
> an archive to wherever. Others, like myself, seem to prefer
On Wed, 6 May 2020 00:45:22 -0700 (PDT), "'B. Wilson' via Metamath"
wrote:
> Would it make sense to have "search path" variables for metamath and mmj2?
It could. All Metamath tools (at least Metamath & mmj2)
would have to be modified to support it, and that's a minor pain.
But once done things
> My eyes are certainly Linux-tinted, but is there some sort of analogue to
> the above for Windows?
Sort of. Please sit back, the story is long, below.
I've lived through all this history: I've used Unix & Linux of many flavors,
and I've also used CP/M & MS-DOS 1.0 on & Windows on.
--- David
On Wed, 6 May 2020 00:45:22 -0700 (PDT), "'B. Wilson' via Metamath"
wrote:
> Would it make sense to have "search path" variables for metamath and mmj2?
>
> The FHS describes /var/lib and /var/local/lib as places for "variable data"
> associated with programs in /usr and /usr/local,
Here are some brainstorming questions and thoughts:
Would it make sense to have "search path" variables for metamath and mmj2?
The FHS describes /var/lib and /var/local/lib as places for "variable data"
associated with programs in /usr and /usr/local, respectively. Ostensibly,
the purpose of
