Hope/roadmap towards seeing emacs officially supported in GitPod?

[erikmd]

Dear maintainers,

I co-develop two Emacs modes (proof-general and learn-ocaml-mode) so I was very interested in trying lsp-gitpod; the spacemacs flavor is really nice in particular!

I have a few questions:

1. do you think the current main limitation (that a VScode tab has to be open first and kept open) could be fixed soon?
   (because e.g., for sb wanting to promote an emacs environment through lsp-gitpod, if it first opens VScode… the endeavor is a bit hindered ;-)
2. also, I saw that new IDEs have been added recently in https://www.gitpod.io/docs/references/ides-and-editors ; do you think there's hope that Emacs could be officially supported soon? otherwise what is the blocking fact in your opinion?

(actually, maybe the two questions are linked each other :)

Thanks

[yyoncho]

1. Back then when I implemented this I reached them in their GH and even had a video call with their tech lead(?) but the support for emacs was not considered a high priority. See Support custom IDEs provided through docker images gitpod-io/gitpod#2419
2. TBO I haven't followed their development recently and I can't tell.

FWIW https://github.com/coder/coder does not have these limitations and I think that even it has some support for emacs. But I am really busy last year and I didn't have the time to investigate.

[erikmd]

@yyoncho Okay, thanks a lot for your feedback!

[loujaybee]

👋 Hey folks, this is a neat project, and nice to meet you !

otherwise what is the blocking fact in your opinion? - @erikmd

The number of integrations Gitpod supports right now is indeed growing, and we do need a way for Gitpod to be extensible, where Gitpod itself does not become the bottleneck and the community is enabled to extend the product.

We have been exploring making the IDE integration more extensible so that the community can create their own integrations [1]. It would be nice to see this project integrated somehow with that investigation to see another example of a community project that could be exposed as an extensible IDE.

In the mean time... hearing your feedback on the browser-based terminal (that is in private beta) gitpod.io/labs would be great as that's something we're looking to potentially release quite soon.

[loujaybee]

@yyoncho @gagbo @ericdallo — If you are able to let me know your Gitpod user ID's I can get you setup on the browser terminal private beta. It'd be great to hear what you think in addition to @erikmd's useful feedback already 🙏

gitpod-io/gitpod#17724 (comment)

[ericdallo]

Sure @loujaybee, my user id is 810f65c1-f4bc-4c98-9527-07243d9b697a

[gagbo]

Sure, it'll take me a bit of time to get back into it, but it'd be cool to finish this! My user id is 34fc83db-fa21-44b0-809a-7f1ba2a3046d

[loujaybee]

Now out of private beta, enjoy !

https://www.gitpod.io/changelog/code-in-the-terminal-without-leaving-your-browser!