diff options
Diffstat (limited to 'lua_scripts/pathmaps/devel/00_default.lua')
| -rw-r--r-- | lua_scripts/pathmaps/devel/00_default.lua | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lua_scripts/pathmaps/devel/00_default.lua b/lua_scripts/pathmaps/devel/00_default.lua index 8e4c0da..92b2a1e 100644 --- a/lua_scripts/pathmaps/devel/00_default.lua +++ b/lua_scripts/pathmaps/devel/00_default.lua @@ -502,7 +502,8 @@ simple_chain = { -- ----------------------------------------------- -- 90. Top-level directories that must not be mapped: {prefix = "/dev", use_orig_path = true}, - {dir = "/proc", custom_map_funct = sb2_procfs_mapper}, + {dir = "/proc", custom_map_funct = sb2_procfs_mapper, + virtual_path = true}, {prefix = "/sys", use_orig_path = true, readonly = true}, @@ -555,7 +556,8 @@ qemu_chain = { {prefix = "/tmp", map_to = session_dir}, {prefix = "/dev", use_orig_path = true}, - {dir = "/proc", custom_map_funct = sb2_procfs_mapper}, + {dir = "/proc", custom_map_funct = sb2_procfs_mapper, + virtual_path = true}, {prefix = "/sys", use_orig_path = true}, {prefix = "/etc/resolv.conf", |