both tools/niminst and nim-lang/niminst are getting updated / diverge; need to mark 1 of those as readonly

[timotheecour]

(extracted from nim-lang/RFCs#206 which sadly got closed despite several points left unaddressed)

As mentioned in nim-lang/RFCs#206, external projects should be moved out of Nim's index; this issue focuses on niminst;

it's pretty bad, both copies (tools/niminst => nim-lang/niminst) have diverged, with different bugs being fixed in both (see #13406 or #15945 which just got sent out).

proposal

• rebase tools/niminst onto nim-lang/niminst
• then remove tools/niminst, and (if needed) install it similarly to move tinyc to a separate repo and allow installing external dependencency (eg tinyc) from koch / library code #13850 (and preferably in dist)

Additional Information

devel 1.5.1 1413818

[ringabout]

I agree on removing one of them.
And Niminst is missing from installation
#11433

[Araq]

proposal
rebase tools/niminst onto nim-lang/niminst
then remove tools/niminst, and (if needed) install it similarly to #13850 (and preferably in dist)

Accepted. Bring it on please.

[timotheecour]

#17580 (comment)

Instead the niminst Nimble package should be removed.

@xflywind in that case we should:

• merge changes from nim-lang/niminst into tools/niminst
• manually merge remaining PR Better shell scripts niminst#1 (if applicable)
• archive https://github.com/nim-lang/niminst after adding a final note in the README pointing to use nim/tools/niminst

[ringabout]

merge changes from nim-lang/niminst into tools/niminst

no useful additions.

archive https://github.com/nim-lang/niminst after adding a final note in the README pointing to use nim/tools/niminst

it is inconvenient for me. Please someone has rights to do that.

[timotheecour]

no useful additions.

indeed, I just checked as well.

it is inconvenient for me. Please someone has rights to do that.

done; i added a note in https://github.com/nim-lang/niminst description on the right pointing to this issue, and marked it as archived; it can always be unarchived if every needed