From mboxrd@z Thu Jan  1 00:00:00 1970
To: 9fans@cse.psu.edu
From: Matt Senecal <msenecal@logicon.com>
Message-ID: <50ecc828.0110251744.6dc580ce@posting.google.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
Subject: [9fans] Where is vgactl?
Date: Fri, 26 Oct 2001 09:24:34 +0000
Topicbox-Message-UUID: 0e2c5e8a-eaca-11e9-9e20-41e7f4b1d025

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?