3 TIMESYNCARGS=(-rLa1000000)
5 mntgen -s slashn && chmod 666 /srv/slashn
7 # bind all likely devices
8 for(i in S f k t m i v L P u U A '$' Σ κ)
9 bind -a '#'^$i /dev >/dev/null >[2=1]
12 mount -qb /srv/cons /dev
13 mount -qa /srv/usb /dev
15 # set up any partitions
18 # start up local swapping
19 disk=`{ls /dev/sd*/swap >[2]/dev/null}
21 swap $disk(1) >/dev/null >[2=1]
26 sysname=`{cat /dev/sysname}
27 if(~ $#sysname 0 || ~ $sysname ''){
28 sysname=cirno # default
29 echo -n $sysname >/dev/sysname
33 NPROC = `{wc -l </dev/sysstat}
35 # machine specific startup (e.g., for devices not probed)
36 if(test -e /cfg/$sysname/termrc)
37 . /cfg/$sysname/termrc
39 # start IP on the LAN, if not already configured. diskless terminals
40 # are already configured by now. It's commented out to avoid a long timeout
41 # on startup waiting for DHCP.
43 # If your site provides DHCP service,
45 #if(! test -e /net/ipifc/0/ctl)
48 # Otherwise, see /cfg/$sysname/termrc (/cfg/example/termrc is an example).
50 # start dns if we have an internet
51 if(test -e /net/ipifc/0/ctl && ! test -e /srv/dns)
54 if(! ~ $terminal *vx32*){
55 # start timesync if it isn't running and we weren't told not to
56 if(! ps|grep -s timesync)
57 if(! ~ $TIMESYNCARGS '')
58 aux/timesync $TIMESYNCARGS
79 ask vgasize ' is (text, 640x480x8, 1024x768x16, ...)' 1024x768x16
80 if(! ~ $"vgasize '' text none){
81 ask monitor ' is (vesa, xga, lcd, ...)' vesa
83 if(test -f /dev/mousectl)
84 ask mouseport ' is (ps2, ps2intellimouse, 0, 1, 2)' ps2
94 case ps2 ps2intellimouse 0 1 2
97 pipefile -dr /bin/aux/accupoint /dev/mouse
103 if (test -f /dev/apm)
106 dontkill '^(ipconfig|factotum|mntgen|kfs|cwfs.*|cs|dns|listen|reboot)$'