[plug] question about file types

[Leon Brooks]

Tamara Thompson wrote:
> 1) is there a way to determine if a file is a readable script or a binary?

Scripts are usually small (2K or less).

> 2) is there a quick and easy way to restore the VGA settings?

    reset

...if that fails...

    setfont

...which also fixes the effects of buggy video cards during a console
switch from graphics

-- 
You can't fight in here, this is the War Room!
		-- The President, "Dr. Strangelove"