The web-based editor doesn't have a terminal, but the full-blown codespaces do have one, and they let you import your dotfiles (including running a bootstrappin

The web-based editor doesn't have a terminal, but the full-blown codespaces do have one, and they let you import your dotfiles (including running a bootstrapping script if necessary [1]). 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-codespace/personalizing-codespaces-for-your-account#dotfiles https://docs.github.com/en/codespaces/customizing-your-codes... [2]: https://github.blog/2021-08-11-githubs-engineering-team-moved-codespaces/#command-line https://github.blog/2021-08-11-githubs-engineering-team-move...