Remote: still use settings and configuration from the local user dir

[jonah-iden]

What it does

This makes it so that when connected to a remote system or dev-container, configuration from the user dir like tasks, settings, ai-prompts, etc. are still used instead of the configurations located on the remote system/container.

Fixes #14291

How to test

Connect to a remote system and see you theme, settings etc are still all set to what they were before connecting.

Follow-ups

Review checklist

• As an author, I have thoroughly tested my changes and carefully followed the review guidelines

Reminder for reviewers

• As a reviewer, I agree to behave in accordance with the review guidelines

[sgraband]

Thank you very much for the fix. Works really well and my settings are now correctly applied. It does however not fix the issue with the terminal on my end (but this should not be a blocker for this).

Also i added 2 minor comments, where i would like to have your input.

[jonah-iden]

Thanks for testing the terminal issue. I'll take another look at that

[jonah-iden]

are you sure this does not work with the terminal. Adding and removing this in the settings works absolutely fine for me

    "terminal.integrated.defaultProfile.linux": "bash",
    "terminal.integrated.profiles.linux": {
        "bash": {
            "path": "/bin/bash"
        },
    },

Or just switching the defualtProfile.linux between bash and SHELL works fine as well

[sgraband]

are you sure this does not work with the terminal. Adding and removing this in the settings works absolutely fine for me

With the options you provided it works, however i am talking about the case that the user does not have this setting set (as i do for example). In VSCode i then still get a bash terminal by default in the devcontainer. In theia it is just a plain shell. Is there a default value that we could set differently?

However, if not a really quick fix, this is not part of this ticket anymore. For the promised functionality i tested it and everything works great! Thanks a lot 🎉

[jfaltermeier]

Just an FYI, this doesn’t seem to work on the Theia IDE Preview for 1.57 at the moment. We haven’t investigated yet: #14643 (comment)

[jonah-iden]

thanks for the info, i started investigating