dev-tools are unused (I think) and pretty much useless
Context
Despite championing the addition of dev-tools/
back when it was added, I haven't found it useful personally, if others have then chime in here. The reasons I don't think it is useful are:
- If I want to debug using them then I need to rebuild, which potentially takes a long time
- They're not built in CI, and as a result I will definitely need to build them locally before using them
- Vim doesn't even work that well in bst-shell even when I have gone to the trouble of adding it as a dependency
As a result I think it's best to stop them clogging up our already-amply-full elements/
directory and sort them out.
Description
I see two approaches:
- Add vim (the only dev-tool we have) into the platform
- Remove
dev-tools
entirely
Of the two, I prefer (1) just because sometimes I've personally wanted a vi-style editor when running a shell from platform, however I understand this has potential to kindle a vim/emacs/nano/ed/cat/butterflies argument.
Acceptance Criteria
dev-tools
either gets its continued existence justified or is removed.