Any chance of Github Copilot intergration?

subject says all :slight_smile: - need 20 chars.

1 Like

Continuing the discussion from Arduino in VsCode - without the redundant C bs?:

I did a bit of investigation into the subject and thought I would share my findings: Since the user can extend the capabilities of Arduino IDE 2.x by installing VS Code extensions (via the procedure documented here, which although targeted at the use case of installing theme extensions, is equally applicable to any type of extension), in theory it may be possible to add GitHub Copilot capabilities to Arduino IDE just as you would do to VS Code by simply installing that extension:

(as well as its "GitHub Authentication extension dependency)

I see there is a bug in the Eclipse Theia IDE framework on which Arduino IDE is built that causes a failure of the GitHub account authentication required to use this particular extension:

That bug has already been fixed:

However, the fix was released in Theia version 1.45.0 while the release version of Arduino IDE is currently using 1.41.0. There is a beta tester build using Theia 1.46.1. I gave that a try, but still ran into a problem authenticating the application in my GitHub account, as reported here.

I didn't make any further efforts after that. I don't have any interest in using GitHub Copilot or anything like it myself, but I do think it is interesting to experiment with the the extensions feature of Arduino IDE.

Please note that Arduino does not provide official support for using any of the thousands of 3rd party VS Code extensions in Arduino IDE. It is very much an "at your own risk" sort of thing which should only be attempted by advanced users.

1 Like

Very nice work! -
I tried:
cp ~/.vscode/extensions/github.co* ~/.arduinoIDE/plugins ..and it did not work very well with current release, I may need to try the new biuild you suggested.
image

In the meantime, I gained some respect for the need of .h files, and I am in a process of cleaning up my main projects.
I find myself needeing to add
#include <Arduino.h>
#include <Wire.h>

in more than one file, a arduino project with more than one .c file arduino, properly set up in PlatformIO would be nice to use as an example.

The download links for the beta tester builds of the bump of the IDE's Theia framework to 1.46.1 are here:

https://github.com/arduino/arduino-ide/actions/runs/8596568336#artifacts

There is a guide to installing the beta tester builds here:

https://github.com/arduino/arduino-ide/blob/main/docs/contributor-guide/beta-testing.md#testing-pull-requests

@ptillisch the beta produces the same "activating extension" error.

I believe the cause of this 'Extension activation failed: "Timed out waiting for authentication provider to register"' error is that you haven't installed the "GitHub Authentication" extension, which is a dependency of the "GitHub Copilot" extension.

The "GitHub Authentication extension is built-in to the VS Code application, so it isn't present in your ~/.vscode/extensions/ folder. It is not built in to the Arduino IDE application so you must install the extension separately when using an extension that has a dependency on it in Arduino IDE.

You can get the "GitHub Authentication extension here:

https://open-vsx.org/extension/vscode/github-authentication

This "Activating extension 'GitHub Copilot Chat' failed: Mh.window.onDidWriteTerminalData is not a function" error is related to a supplemental extension:

(note the extension name is "GitHub Copilot Chat", not "GitHub Copilot")

I don't know what might be the cause of this error. It is probably best to focus your attention on getting the "GitHub Copilot" extension working by itself before worrying about this supplemental extension, since I suspect that "GitHub Copilot Chat" has a dependency on the "GitHub Copilot" extension and wouldn't work anyway if you don't manage to get past the "You have not yet finished authorizing this extension to use GitHub" problem with the "GitHub Copilot" extension.

Thank you, how can I install vscode.github-authentication-1.83.1.vsix in Arduino IDE?

  1. Click the following link:
    https://open-vsx.org/extension/vscode/github-authentication
    The page for the "GitHub Authentication" extension on the "Open VSX Registry" website will open in your web browser.
    โ“˜ We must get this extension from "Open VSX Registry" because it is not available from the "Visual Studio Marketplace". The reason is that, since they are included in the VS Code application itself and thus not of any use to VS Code users, Microsoft does not distribute standalone packages of the built-in extensions on "Visual Studio Marketplace". Since the built-in extensions are needed for use in alternative development tools like Arduino IDE, the Eclipse Foundation has extracted standalone packages of the built-in extensions from the open source VS Code codebase and distributes these extensions via their "Open VSX Registry" (which is an open alternative to Microsoft's "Visual Studio Marketplace" website).
  2. Click the "DOWNLOAD" button on the right side of the page.
  3. Wait for the download to finish.
  4. If Arduino IDE is running, select File > Quit from the Arduino IDE menus to exit all windows.
  5. Copy the downloaded .vsix file to the ~/.arduinoIDE/plugins folder.
  6. Start Arduino IDE.

I get:
image
I click "yes", and then I get:

Yep, same problem as I had and as was reported here.

did anyone succeeded in copying the stored successful login files from VSCode to ArduinoIDE?

This topic was automatically closed 180 days after the last reply. New replies are no longer allowed.