ananis
Mmarimo
•Created by ananis on 7/5/2024 in #help-support
Unable to connect to github copilot
Made a PR - https://github.com/marimo-team/marimo/pull/1745
14 replies
Mmarimo
•Created by ananis on 7/5/2024 in #help-support
Unable to connect to github copilot
Ah, seems like the script name has changed - https://github.com/rstudio/rstudio/issues/14800
14 replies
Mmarimo
•Created by ananis on 7/5/2024 in #help-support
Unable to connect to github copilot
I think I got it. I set up the Marim repo locally and added logging here - https://github.com/marimo-team/marimo/blob/293e3cd122ed5f8cdc5ae2b9a4d22498ef92fe9e/lsp/index.ts#L52
So, the copilot script Marimo LSP server wants to run seems to be missing. Looking at the original package, there actually isn't an
agent.js
, nor there is one in the compiled LSP package by Marimo. I am not sure how it works at all!
14 replies
Mmarimo
•Created by ananis on 7/5/2024 in #help-support
Unable to connect to github copilot
Yep. The private IP comes from using tailscale vpn which doesn't need you to open any ports on firewall. I think that isn't an issue because I created a simple WS server on 27190, and can seemingly access it from my browser, at "ws://http://100.106.136.158:27190/"
The first entry is the marimo server, second one is the copilot one(?) and the third one is the test WS server, which is accessible from the browser.
From dev tools, I can see a WS connection request from the frontend to 27180, but it doesn't seem to receive a response.
Console logs from dev tools show the following error, and sometimes about a websocket being already closed (but I cant always get it to appear)
14 replies
Mmarimo
•Created by ananis on 7/5/2024 in #help-support
Unable to connect to github copilot
Thank you for helping me through it! After running this command, here are the logs when I toggle "AI code completion" in Marimo UI from None to Github.
Weirdly, code-autocomplete requests seem to be successful in the terminal logs, but frontend still says "unable to connect" and I don't actually see it.
14 replies
Mmarimo
•Created by ananis on 7/5/2024 in #help-support
Unable to connect to github copilot
Thank you. So, this lets me access Marimo at {private-ip}:2718.
Copilot still fails to connect though. I have node installed. Is there a wy to enable debug logs for the server process?
14 replies
Mmarimo
•Created by ananis on 7/5/2024 in #help-support
Unable to connect to github copilot
Can you help me understand how will that make copilot work?
I can access Marimo by setting the host variable fine. Using
proxy={private-ip}
leaves me this
And I can't seem to access Marimo at all, at http://100.106.136.158:2718
14 replies