It makes sense for /lib/vgadb to contain entries for popular
(e.g., Dell) monitors, but probably less sense for me to submit
a patch for every oddball monitor I might have.

This patch to /lib/vgadb causes aux/vga to additionally scan
/lib/vgadb.local if it exists (if it doesn't, no harm is
done).  The net result is that I can maintain my own monitor
database without replica conflicts.

Reference: /n/sources/patch/saved/vgadb.local
Date: Tue Jul 15 18:39:23 CES 2008
Signed-off-by: davide+p9@cs.cmu.edu

--- /lib/vgadb	Tue Jul 15 18:36:57 2008
+++ /lib/vgadb	Tue Jul 15 18:36:55 2008
@@ -1,4 +1,7 @@
 # VGA database.
+database=
+	file=/lib/vgadb
+	file=/lib/vgadb.local
 #
 # ctlr:
 # These entries are used to identify a particular controller.