Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Handle when $HOME for the container is not /root #2

Merged
merged 1 commit into from
Mar 22, 2021
Merged

Conversation

owtaylor
Copy link
Owner

@owtaylor owtaylor commented Mar 18, 2021

Visual Studio Code uses HOME from the container config to determine
where it puts .vscode-server. Toolboxes created with older versions of
toolbox+podman have HOME=/root, but with newer versions, we might end up with
HOME=/var/home/ or HOME=/.

Handle all these cases. In particular for the user-home-directory case,
put a symlink from /var/home//.vscode-server => /.vscode-server
to make sure that the configuration is properly per-container.

Visual Studio Code uses HOME from the container config to determine
where it puts .vscode-server. Toolboxes created with older versions of
toolbox+podman have HOME=/root, but with newer versions, we might end up with
HOME=/var/home/<user> or HOME=/.

Handle all these cases. In particular for the user-home-directory case,
put a symlink from /var/home/<user>/.vscode-server => /.vscode-server
to make sure that the configuration is properly per-container.
@owtaylor owtaylor merged commit c38d96c into main Mar 22, 2021
@owtaylor owtaylor deleted the vscode-server branch March 22, 2021 19:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant