make vga font the default
This commit is contained in:
parent
36e0b53bb7
commit
093ca3a182
2 changed files with 2 additions and 2 deletions
2
sys/lib/dist/usr/glenda/lib/profile
vendored
2
sys/lib/dist/usr/glenda/lib/profile
vendored
|
@ -5,7 +5,7 @@ bind -qc /n/other/usr/$user/tmp $home/tmp
|
|||
bind -c $home/tmp /tmp
|
||||
if(! syscall create /tmp/xxx 1 0666 >[2]/dev/null)
|
||||
ramfs # in case we're running off a cd
|
||||
font = /lib/font/bit/pelm/euro.9.font
|
||||
font=/lib/font/bit/vga/vga.font
|
||||
fn cd { builtin cd $* && awd } # for acme
|
||||
switch($service){
|
||||
case terminal
|
||||
|
|
|
@ -24,7 +24,7 @@ bind -a $x^home/bin/$x^cputype /bin
|
|||
mount -qC /srv/cwfs /n/other other
|
||||
bind -qc /n/other/usr/$x^user/tmp $x^home/tmp
|
||||
bind -c $x^home/tmp /tmp
|
||||
font = /lib/font/bit/pelm/euro.9.font
|
||||
font=/lib/font/bit/vga/vga.font
|
||||
switch($x^service){
|
||||
case terminal
|
||||
webcookies
|
||||
|
|
Loading…
Reference in a new issue