3 ms·
> Will Github allow people to use other $EDITORs? Yes, just clone? Most people who want other editors probably don't want browser-based ones. I'm not sure if
by rattray 5y ago
> Will Github allow people to use other $EDITORs?
Yes, just clone? Most people who want other editors probably don't want browser-based ones.
I'm not sure if the VSCodeVim or VSCodeNeovim extensions work on the online version yet, but I'm sure some VSCode/GitHub engineers are on the case if not.
EDIT: VSCodeVim (the main "Vim" extension) does "work" on github.dev but the escape key doesn't, so as soon as you press "i" you're stuck in insert mode forever. https://github.com/VSCodeVim/Vim/issues/7005 https://github.com/VSCodeVim/Vim/issues/7005
- philipswood 5y agoThis seems like it should not be very difficult to do for yourself if motivated. xterm.js [1] is pretty good. Something like gotty [2] and a engine for getting a container with a git checkout started should be relatively straight forward. [1]:https://github.com/xtermjs/xterm.js/ https://github.com/xtermjs/xterm.js/ [2]:https://github.com/yudai/gotty https://github.com/yudai/gotty
- reificator 5y agoI'm waiting for version 8 of xterm.js where they introduce a minimal version that uses less resources. Then we'll find out who's really behind the project... xterm-min-8.js
- Tyriar 5y agoAs the maintainer of xterm.js I have no idea what you're suggesting? FWIW we just shipped xterm-headless which is literally a minimal version that uses less resources.
- reificator 5y agoSorry bad joke about how the name "xterm" sounds like the beginning of the word "exterminate", implying it was made by Daleks from Doctor Who. I forgot HN is not the place for humor, and I did not intend to cast any actual aspersions toward anyone maintaining cool projects.