search

emacs-lsp / lsp-gitpod

76 stars 16 forks source link

Hope/roadmap towards seeing emacs officially supported in GitPod? #25

Open erikmd opened 1 year ago

erikmd commented 1 year ago

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 commented 1 year ago
  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 https://github.com/gitpod-io/gitpod/issues/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 commented 1 year ago

@yyoncho Okay, thanks a lot for your feedback!

loujaybee commented 1 year ago

👋 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 commented 1 year ago

@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 🙏

https://github.com/gitpod-io/gitpod/issues/17724#issuecomment-1597862258

ericdallo commented 1 year ago

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

gagbo commented 1 year ago

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 commented 1 year ago

Now out of private beta, enjoy !

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