Re: Installing a module

On 6/22/2025 11:58 PM, Rich wrote:

 Only if you wish to keep copies of all the side-car files present for
human consumption.  If you just want a collection of modules, you don't
need the side-cars (for package require purposes).  Of course, if in X
years you wonder where module blah.tm came from, not having the
side-car files around might make the task of tracking it down a bit
more difficult.
 

I think we are in agreement on all the points you raised on interpreter vs. human distributor point of views. The current mechanism seems to put the burden on the human consumer in that they will have to take extra steps. Either you will have to unzip and extract .tm file out, and discard the rest, or keep track of what modules you have and add tm path commands for each to your setup.
Either way is fine with me. I wondered how other people were handling it.