/proc/self/root/proc/4/task/7/root/proc/2/root/proc/thread-self/root/proc/2
This explorer reads the filesystem of the server it runs on, so /workspace/user isn't present here. Browsing and the terminal still work against this server's own disk from /.
557f750f7000 default file=/opt/rust/bootstrap mapped=72 mapmax=2 active=0 N0=72 kernelpagesize_kB=4557f7514f000 default file=/opt/rust/bootstrap mapped=323 mapmax=2 active=0 N0=323 kernelpagesize_kB=4557f75292000 default file=/opt/rust/bootstrap anon=9 dirty=9 mapped=10 mapmax=2 active=0 N0=10 kernelpagesize_kB=4557f7529c000 default file=/opt/rust/bootstrap anon=1 dirty=1 active=0 N0=1 kernelpagesize_kB=4557f7529d000 default557fb10d6000 default heap anon=314 dirty=314 active=0 N0=314 kernelpagesize_kB=47fdfe4000000 default anon=8 dirty=8 active=0 N0=8 kernelpagesize_kB=47fdfe4021000 default7fdfe8000000 default anon=33 dirty=33 active=0 N0=33 kernelpagesize_kB=47fdfe803a000 default7fdfec000000 default anon=35 dirty=35 active=0 N0=35 kernelpagesize_kB=47fdfec039000 default7fdff0000000 default anon=14 dirty=14 active=0 N0=14 kernelpagesize_kB=47fdff0021000 default7fdff4000000 default anon=15 dirty=15 active=0 N0=15 kernelpagesize_kB=47fdff4021000 default7fdffae49000 default7fdffae4a000 default7fdffae4c000 default7fdffae4d000 default7fdffae4f000 default7fdffae50000 default anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47fdffb050000 default7fdffb051000 default anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47fdffb251000 default7fdffb252000 default7fdffb254000 default7fdffb255000 default anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47fdffb455000 default7fdffb456000 default7fdffb458000 default7fdffb459000 default anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47fdffb659000 default7fdffb65a000 default7fdffb65c000 default7fdffb65d000 default anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47fdffb85d000 default7fdffb85e000 default anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47fdffb862000 default file=/usr/lib64/libdl.so.2 mapped=1 mapmax=2 N0=1 kernelpagesize_kB=47fdffb863000 default file=/usr/lib64/libdl.so.2 mapped=1 mapmax=2 active=0 N0=1 kernelpagesize_kB=47fdffb864000 default file=/usr/lib64/libdl.so.27fdffb865000 default file=/usr/lib64/libdl.so.2 anon=1 dirty=1 active=0 N0=1 kernelpagesize_kB=47fdffb866000 default file=/usr/lib64/libdl.so.2 anon=1 dirty=1 active=0 N0=1 kernelpagesize_kB=47fdffb867000 default file=/usr/lib64/libc.so.6 mapped=41 mapmax=2 active=1 N0=41 kernelpagesize_kB=47fdffb890000 default file=/usr/lib64/libc.so.6 mapped=265 mapmax=2 active=146 N0=265 kernelpagesize_kB=47fdffba06000 default file=/usr/lib64/libc.so.6 mapped=41 mapmax=2 active=16 N0=41 kernelpagesize_kB=47fdffba5f000 default file=/usr/lib64/libc.so.6 anon=4 dirty=4 active=0 N0=4 kernelpagesize_kB=47fdffba63000 default file=/usr/lib64/libc.so.6 anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47fdffba65000 default anon=5 dirty=5 active=0 N0=5 kernelpagesize_kB=47fdffba72000 default file=/usr/lib64/libpthread.so.0 mapped=1 mapmax=2 N0=1 kernelpagesize_kB=47fdffba73000 default file=/usr/lib64/libpthread.so.0 mapped=1 mapmax=2 active=0 N0=1 kernelpagesize_kB=47fdffba74000 default file=/usr/lib64/libpthread.so.07fdffba75000 default file=/usr/lib64/libpthread.so.0 anon=1 dirty=1 active=0 N0=1 kernelpagesize_kB=47fdffba76000 default file=/usr/lib64/libpthread.so.0 anon=1 dirty=1 active=0 N0=1 kernelpagesize_kB=47fdffba77000 default anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47fdffba79000 default file=/usr/lib64/ld-linux-x86-64.so.2 mapped=2 mapmax=2 active=1 N0=2 kernelpagesize_kB=47fdffba7b000 default file=/usr/lib64/ld-linux-x86-64.so.2 mapped=40 mapmax=2 active=0 N0=40 kernelpagesize_kB=47fdffbaa3000 default file=/usr/lib64/ld-linux-x86-64.so.2 mapped=12 mapmax=2 active=0 N0=12 kernelpagesize_kB=47fdffbaaf000 default file=/usr/lib64/ld-linux-x86-64.so.2 anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47fdffbab1000 default file=/usr/lib64/ld-linux-x86-64.so.2 anon=2 dirty=2 active=0 N0=2 kernelpagesize_kB=47fffdaeb8000 default stack anon=47 dirty=47 active=1 N0=47 kernelpagesize_kB=47fffdaf63000 default7fffdaf67000 default