/proc/thread-self/root/proc/thread-self/root/proc/thread-self/root/usr/share/doc/sed
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 /.
This is the GNU implementation of sed, the Unix stream editor. GNU Sed website: https://www.gnu.org/software/sed/ See the NEWS file for a brief summary and the ChangeLog formore detailed descriptions of changes. If you obtained this file as part of a "git clone", then see theREADME-hacking file. If this file came to you as part of a tar archive,then see the file INSTALL for compilation and installation instructions. See the file BUGS for instructions about reporting bugs. See the files AUTHORS and THANKS for a list of authors and other contributors. After installation run 'sed --help' or 'man sed' for short usage information,and 'info sed' for the complete manual. The manual is also available onsed's website.