Deprecate repo

[hunner]

The description for this repository should probably be updated to point users to https://github.com/urbit/urbit/tree/master/extras/hoon.vim (unless of course this repo is still relevant).

[galenwp]

I think we were hoping to move towards a less monolithic repo, so I'd vote to keep this one up to date. But this is really @philipcmonk territory. Thoughts, Philip?

[hunner]

You know, on second thought after messing with this and hoon-mode.el, editor plugins in dedicated repos a) makes it easy for plugin managers to just clone them down without worrying about sub-sub-directories, and b) doesn't need all the files in the repo (eg, urbit/urbit is 22MB to get urbit/extras/hoon.vim).

So I guess this should actually be "deprecate the extras/ vim plugin in favor of this repo")

[philipcmonk]

Indeed, I would argue that the extras directory should be removed altogether (after ensuring that everything in it has another home). This is not a part of Urbit core.

Work items would be:

• merge this and extras/hoon.vim (looks like extras/hoon.vim is slightly more up-to-date?)
• ensure hoon-mode.el is somewhere (create repo if necessary)
• remove from master
• Bonus: update hoon.vim for the Hoon 151 language updates

[ohAitch]

+1

See also https://github.com/ohAitch/LT-Hoon for codemirrror bindings,
though those are actively used by /tree

On Wednesday, 6 April 2016, Hunter Haugen notifications@github.com wrote:

You know, on second thought after messing with this and hoon-mode.el,
editor plugins in separate repos a) makes it easy for plugin managers to
just clone them down without worrying about sub-sub-directories, and b)
doesn't need all the files in the repo (eg, urbit/urbit is 22MB to get
urbit/extras/hoon.vim).

So I guess this should actually be "deprecate the extras/ vim plugin in
favor of this repo")

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub
#10 (comment)