/proc/self/root/proc/self/root/proc/self/root/usr/share/doc/bash
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 directory contains the bash documentation. FAQ - a set of frequently-asked questions about Bash with answersINTRO - a short introduction to basharticle.ms - an article I wrote about bash for The Linux Journalbash.1 - the bash man pagebuiltins.1 - a man page that documents the builtins, extracted from bash.1bashref.texi - the `bash reference manual'bashref.info - the `bash reference manual' processed by `makeinfo'readline.3 - the readline man page The `.ps' files are postscript versions of the above. The `.html'files are HTML versions of the man page and reference manual. The`.0' files are formatted manual pages. The `.txt' versions areascii -- the output of `groff -Tascii'. The rest of this file explains how to use the `builtins.1' man page. For each command in the list of builtins create a file in man/man1 called: ${command}.1 eg.for.1type.1alias.1etc. All these files are identical as follows: jaws@jaws(264)$ cat alias.1.so man1/builtins.1jaws@jaws(265)$ Make sure you adjust the .so line in builtins.1 to reflect where youput it.