Repository navigation
Cleaning up website vs. JMRI: moving “install” directory tree #376
Description
Although not at the top of my priority list, I’m looking into cleaning up the “install” tree on JMRI/website and the “help/en/html/setup” tree on JMRI/JMRI. The “install” directory here is only 8mb so any reason this can’t be moved to JMRI/JMRI to make it easier to merge/maintain all in one place?
If that is OK, then my question is “how”? I only use Github via a browser and all instructions I have seen require git to be installed and are quite complicated at that (e.g. https://medium.com/@ayushya/move-directory-from-one-repository-to-another-preserving-git-history-d210fa049d4b).
Thanks, Jerry
Metadata
Metadata
Assignees
Labels
No labels
Activity
bobjacobsen commentedon Aug 12, 2020
We can do this is we need to, but it's not going to be easy to keep the history because some of those files were already in the JMRI/JMRI repository, so already have git records. Maybe we don't need the history?
Originally, this was moved out of help/ to save a bit of size in the installers. The thinking was that nobody needed to read the install instructions after they'd actually done the install; you only needed that earlier, hence on the web. Not sure whether 8MB should be considered large on 160MB, but if we're worried about size there are a lot of other things we could do.