INFERNOTo 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/1credorepo¹ 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
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 written
in Inferno. For example, from the host’s point of view, if the credo
repository is cloned under $emuroot in ², then credorepo is ³ within
Inferno. If instead it is cloned in ⁴, and the host filesystem is
bound 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