matthias teege

I've setup inferno under Linux as described in the readme.html but
I cant start emu.

% emu -r/home/matthias/inf /opt/inferno/dis/emuinit.dis
Inferno Third Edition (20030603) main (pid=2355) interp
Initialize Dis: /dis/emuinit.dis
panic: loading "/dis/emuinit.dis": file does not exist
zsh: killed emu -r/home/matthias/inf /opt/inferno/dis/emuinit.dis

cao% ls -al /opt/inferno/dis/emuinit.dis
-rw-rw-r-- 1 root root 905 Jul 31 2002 /opt/inferno/dis/emuinit.dis

What do I missing?

Many thanks
Matthias

--
Matthias Teege -- http://www.mteege.de
make world not war
PGP-Key auf Anfrage

faried nawaz

Matthias Teege <matthias@mteege.de> writes:

% emu -r/home/matthias/inf /opt/inferno/dis/emuinit.dis

What happens when you try

emu -r/home/matthias/inf /dis/emuinit.dis
?


Faried.
--
^self