Re: [9fans] Where is vgactl?

[forsyth@vitanuova.com]

[-- Attachment #1: Type: text/plain, Size: 516 bytes --]

it isn't bound automatically so you need
	bind -b '#v' /dev
to make it appear in /dev, or use
	echo -n 'size 800x600x8' >'#v/vgactl'

that's probably still not what you intend, because VGA being what it is,
a host of major and minor register values need to be adjusted in most cases,
in a device-dependent way.  use aux/vga, described by vga(8).
read the manual page first, though.  aux/vga eventually sets the
using vgactl, but sets all those registers first, if it can.
it needs to be done outside rio.

[-- Attachment #2: Type: message/rfc822, Size: 1946 bytes --]

To: 9fans@cse.psu.edu
Subject: [9fans] Where is vgactl?
Date: Fri, 26 Oct 2001 09:24:34 GMT
Message-ID: <50ecc828.0110251744.6dc580ce@posting.google.com>

OK, maybe I'm just dumb, but I think I'm doing this right.

I'm trying to change the VGA setting for my system. According to the
docs if I want to change the size of the screen I type:

echo -n 'size 800x600x8' >/dev/vgactl

Right? When I do, I get an error stating something to the effect that
it can't find vgactl. Sure enough, it's not in /dev...or anywhere! Am
I going about this correctly?