When using `cdr/code-server`, skip missing extensions when running `Download settings`

[Nezteb]

💡 Is your feature request related to a problem? Please describe.

I was attempting to sync my desktop VS Code extensions to a running locally instance of https://github.com/cdr/code-server

I received the error in the screenshot below when the sync was attempting to download the "Bookmarks" extension, which is not available in code-server.

💡 Describe the solution you'd like

Ideally this would either:

• Skip the missing setting, log an error, and continue down the list
• Be a configurable setting: whether or not to skip missing/errored extensions
• Prompt the user to acknowledge the problem and either skip the extension or cancel the entire sync

💡 Additional context

[YashRE42]

Really like code-settings-sync <3.

Was trying to use it for code-server but ran into the above problem and had a bit of trouble. Would appreciate if you could add better support :).

[eladcandroid]

Just confirm the mentioned behaviour... I thought that "Force Download" could prevent that but it still persists.

[TBBle]

Probably a duplicate of #1200. Certainly the same error, with a possibly-different cause.

[KaKi87]

Hello,

I had no problem installing the extension on code-server, but then the extsnion page loads badly :

And clicking Login with GitHub does nothing.

Thanks