[Barrelfish-users] File /init.fish not found

Raphael Fuchs raphaelfuchs at student.ethz.ch
Wed Oct 1 21:52:32 CEST 2014


Hi Joe,

Yes this is the expected behaviour and you can safely ignore the "File
/init.fish not found" warning.

The file "/init.fish" can be used as a boot script to automate benchmarks
and the like. If it exists, every line is executed by fish (the Barrelfish
shell) on startup.

If you want the warning to disapear, simply add 'nobootscript' as an
argument to fish in <build_dir>/menu.lst.

Cheers,
Raphael

On 1 October 2014 21:07, Joe M <joe9mail at gmail.com> wrote:

> Hello,
>
> Just wanted to check if this is expected.
>
> spawnd.0: spawning /x86_64/sbin/fish on core 0
> fish v0.2 -- pleased to meet you!
> File /init.fish not found
> available commands:
> help           print_cspace   quit           ps             demo
> pixels         mnfs           oncore         reset          poweroff
> skb            mount          ls             cd             pwd
> touch          cat            cat2           dd             cp
> rm             mkdir          rmdir          setenv         src
> printenv       free
> > printenv
> PWD=/
> PATH=/x86_64/sbin
> HOME=/
> ARRAKIS_PMAP=400000:ef00000:80000 480000:eec0000:40000
> 4c0000:ef80000:10000 4d0000:ef90000:8000 4d8000:ee90000:4000
> 4dc000:ee8d000:1000 4dd000:f020000:20000 4fd000:ee98000:4000
> 501000:ee9c000:2000
> TERM=xterm
> ARRAKIS_PMAP=400000:1e500000:100000 500000:1e780000:80000
> 580000:f2e0000:8000 588000:f2e8000:4000 58c000:f27d000:1000
> 58d000:1e800000:80000 60d000:f340000:10000 61d000:f350000:8000
> 625000:f2ac000:2000 627000:f282000:1000
>
> Thanks
> Joe
>
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20141001/bd393a61/attachment.html 


More information about the Barrelfish-users mailing list