20 lines · 798 B · Text
RawDownload
INFERNO To add credo to an installation of Inferno, clone this repository,then run these bind commands.  You may need to create /lib/do. 	bind -a $credorepo/lib/do/sh-inferno /lib/do	bind -a $credorepo/man/1 /man/1	bind -a $credorepo/sh-inferno /dis	bind -a $credorepo/test/1 /test/1 credorepo¹ should contain the path to the credo repository, as writtenin Inferno.  For example, from the host’s point of view, if the credorepository is cloned under $emuroot in ², then credorepo is ³ withinInferno.  If instead it is cloned in ⁴, and the host filesystem isbound to /n/local, then credorepo is ⁵. ¹ $credorepo is here a convenience; credo itself doesn’t use it.   ² /usr/inferno/github/credo ³ /github/credo ⁴ /opt/src/github/credo ⁵ /n/local/opt/src/github/credo