karl@sugar.UUCP (Karl Lehenbauer) (05/23/88)
I got some mail indicating that it was not desirable to always try to
flush dirty disk buffers on the occurence of a Control-Amiga-Amiga and
after thinking about it some more, I agree. How about an alternate
set of keys (Alt-Alt-Amiga-Amiga?) that does flush and reboot, for use
(for example), when I'm about to reboot but nothing is wrong with the system?
--
..!{bellcore!tness1,uunet!nuchat}!sugar!karl, Unix BBS (713) 438-5018