Skip to content

host home mapping #9

@senges

Description

@senges

Would be great to properly handle host home mapping inside container.

A quick hack to do so is :

[workspace]
user = "john"

[[workspace.volumes]]
host = "$HOME"
bind = "/home/john/host"
mode = "ro"

Follow-up question : where should it be mapped to inside container ? /home/$USER/host ?

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Projects

    Status

    Todo

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions