Earlier quoted context omitted.
> Am I alone in not jumping on the Visual Studio [Code] These are at least 3 different questions: 1) Why should I use VS Code in general? 2) Why should I use VS Code online? (the articles topic) 3) Why should I use VS? The answers might turn out completely different. Personally, I have for my main languages (C++ & Python) full IDE's (VS & Wing IDE). For quick Python scripts, VSCode is considered an option that I use…
VS is unrelated to VS Code. VS is a full IDE for C++ and C# and the other .NET languages (and some other things like C to a lesser extent). VS Code is a decent text editor with a good plugin ecosystem. It's faster to start (if it doesn't have too many slow plugins) than most IDEs and easier to get used to than vi-based editors or EMACS. And unlike Sublime Text it's free. Unlike Notepad++ it's cross-platform. I person…
Web-based editor
261–270 of 307 posts
Re: Web-based editor
#262Am I alone in not jumping on the Visual Studio [Code] bandwagon? Other online editors have had "vim modes" for ages (e.g. Overleaf) and frankly I'm unlikely to write a chonking great script or project in a browser on Github -- a minor modification is much more likely. VS Code's codebase is huge . Will Github allow people to use other $EDITORs? (Yes, I'm aware this makes me sound like an old man!)
Re: Web-based editor
#263Earlier quoted context omitted.
> VS feels like a big, bloated IDE where you have to memorise the location of 4e6 different GUI positions This one sentence convinces me that you have not used VSCode in any meaningful way. I ditched GUI items for getting stuff done long time ago with VSCode. I just bring up the command palette and type away. Its insanely great.
That sentence referred to the versions of VS I have used, not VS Code :-).
Re: Web-based editor
#264I am still proud of [github1s]( https://github.com/conwnet/github1s ) No Credits given :( => https://github.com/conwnet/github1s/issues/346
Re: Web-based editor
#265Earlier quoted context omitted.
> 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…
This 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/ [2]: https://github.com/yudai/gotty
xterm-min-8.js
Re: Web-based editor
#266I've been using this for a while. Very, very, very handy for - Just exploring some code. - Quickly pull up as reference code w/ decent navigation without having to checkout locally or navigate forward/back in the source tree in GitHub. - When reviewing PRs and wanting to check out some surrounding code that is not part of the actual PR. - If you want to quickly commit something really small and trivial in master/a br…
> Some of the most used VSCode hotkeys are browser hotkeys This kills me with Jupyter. Open bash kernel, make typo, Ctrl+w, sigh as tab disappears. I often open and pin several empty tabs so it only kills the tab, not the whole window.
Re: Web-based editor
#267Am I alone in not jumping on the Visual Studio [Code] bandwagon? Other online editors have had "vim modes" for ages (e.g. Overleaf) and frankly I'm unlikely to write a chonking great script or project in a browser on Github -- a minor modification is much more likely. VS Code's codebase is huge . Will Github allow people to use other $EDITORs? (Yes, I'm aware this makes me sound like an old man!)
From there, you can run whatever terminal-based editor you want, or so the blog post about github.com development having moved to Codespaces tells me [2].
But for the lighter-weight web-based editor, it doesn't look like it. If you're a CLI person, you could browse using the GitHub CLI and clone repos from there to start editing; not as convenient as punching a single key to get from viewing in a browser to editing, though.
[1]: https://docs.github.com/en/codespaces/customizing-your-codes...
[2]: https://github.blog/2021-08-11-githubs-engineering-team-move...
Re: Web-based editor
#268Am I alone in not jumping on the Visual Studio [Code] bandwagon? Other online editors have had "vim modes" for ages (e.g. Overleaf) and frankly I'm unlikely to write a chonking great script or project in a browser on Github -- a minor modification is much more likely. VS Code's codebase is huge . Will Github allow people to use other $EDITORs? (Yes, I'm aware this makes me sound like an old man!)
Re: Web-based editor
#269Re: Web-based editor
#270Earlier quoted context omitted.
Yeah, but the vscode team is actively trying to break vscodium.
Can you point to how? Pretty much all of the functionality Microsoft has made that is proprietary they’ve packaged inside extensions. The app itself works fine without those extensions.