michael Comments - Answer Overflow

michael

•Created by michael on 1/19/2025 in #help

Profiles/settings gone cross browser/device

I wanted to do that to have separate extensions working for different projects. I’m not familiar with the official thing, it’s missing a lot of the nice things that are implemented in code servers, but has the profiles working?

35 replies

CCoder.com

•Created by michael on 1/19/2025 in #help

Profiles/settings gone cross browser/device

Anyhow, let’s hope it gets developed soon. Code server is my primary dev env at the moment so I’m looking forwards to this feature… in the mean time, would you suggest running multiple code servers to have one for typescript, one for java, one for rust, etc as a workaround?

35 replies

CCoder.com

•Created by michael on 1/19/2025 in #help

Profiles/settings gone cross browser/device

Have been speaking about profiles from msg #1 🙂

35 replies

CCoder.com

•Created by michael on 1/19/2025 in #help

Profiles/settings gone cross browser/device

Well I think your engineer answered the question. It doesn’t sound like using profiles across browsers is supposed to work at the moment. Indeed I’ve been using multiple browsers but refrained from using profiles and so far so good. So I’m looking forwards to have this feature in the future. It seems like a high priority issue to me.

35 replies

CCoder.com

•Created by michael on 1/19/2025 in #help

Profiles/settings gone cross browser/device

35 replies

CCoder.com

•Created by michael on 1/19/2025 in #help

Profiles/settings gone cross browser/device

Hey @Phorcys ! Thanks for circling back. I haven't had time to check this deeper since I had additional issues that are java related that I had to solve in the mean while. Which I'm quite proud that I found workarounds for. On the good side I also refrained from creating separate profiles and worked only in the default profile with the Java extensions and haven't seen the previous issue reproduce yet. Therefore I suspect the profiles being the prime suspect in the original issue. FYI: The java issues I had and their work arounds: 1. It's a gradle project and there is no way to debug tests (there are a few that break in different way). Workaround: run gradle with debug-jvm option from the command line and attach a debugger from vscode. 2. The project requires to be ran with Java 11 or 17, however the Java extension must be ran from Java 21. And there is no way to make it run the project using a different version. (I tried multiple ways to configure and solve this to no avail). The workaround is to specify in build.gradle the direct path to the necessary javac executable: via this option: compileJava.options.forkOptions.executable (obviously I don't like this work around). Given that I still have to work in this environment in parallel to solving all the issues, I don't have much time left to reproduce the settings breakage issues.

35 replies

CCoder.com

•Created by michael on 1/19/2025 in #help

Profiles/settings gone cross browser/device

One thing that I could maybe add is that I've used this installation also from Safari on iOS (phone). Maybe this is a bit uncommon and could somehow caused the issue.

35 replies

CCoder.com

•Created by michael on 1/19/2025 in #help

Profiles/settings gone cross browser/device

If you could maybe narrow the request to specific logs or specific keywords in the logs..

35 replies

CCoder.com

•Created by michael on 1/19/2025 in #help

Profiles/settings gone cross browser/device

I haven't had the chance to try and reproduce the issue yet. Regarding the logs I'm not sure because there are plenty of folders in the logs directory and I'm not sure which information they contain.

35 replies

CCoder.com

•Created by michael on 1/19/2025 in #help

Profiles/settings gone cross browser/device

Hi @Phorcys ! Thanks for following up. 1. curl -fsSL https://code-server.dev/install.sh | sh -s -- (this is a debian 12 machine) 2. 4.96.2 08cbdfbdf11925e8a14ee03de97b942bba7e8a94 with Code 1.96.2 3. Yes. Here is the user settings: { "workbench.colorTheme": "Monokai", "redhat.telemetry.enabled": false, "java.configuration.runtimes": [ ], "editor.fontSize": 14, "terminal.integrated.fontSize": 14, "workbench.colorCustomizations": { "editor.background": "#070707" }, "git.autofetch": true, "remote.autoForwardPortsSource": "hybrid", "git.confirmSync": false, "editor.minimap.enabled": false, "java.settings.url": "/home/codeserver/dev/java.settings" }

35 replies

CCoder.com

•Created by michael on 1/19/2025 in #help

Profiles/settings gone cross browser/device

Possibly, yes. Need to check if they are still there after i fixed it last time. Worst case I can try to reproduce when I get a bit of free time and then will send you the logs. That said, I deduce from your answer that there is nothing special that I should do in order to work from multiple devices/browsers? Also I suspect it has something to do with me creating profiles. One of the other issues that I’ve observed is a project often openning in the default profile and then I need to switch manually, but maybe there is no relation to the current issue with the settings

35 replies

CCoder.com

•Created by michael on 1/19/2025 in #help

Profiles/settings gone cross browser/device

If I just restart there is no issue. Issues start only when I try to use from multiple devices

35 replies

CCoder.com

•Created by michael on 1/19/2025 in #help

Profiles/settings gone cross browser/device

Hi @Phorcys

35 replies

CCoder.com