debxo: override default X DPI

[xodist] / configs / debxo-gnome / hooks

diff --git a/configs/debxo-gnome/hooks b/configs/debxo-gnome/hooks
index c3eb6defe52cefa9dd21171e22b9ec91ba8dc397..60befd60f29c60e33711f4670f97463e249f8df9 100644 (file)
--- a/configs/debxo-gnome/hooks
+++ b/configs/debxo-gnome/hooks
@@ -73,8 +73,18 @@ EOF
                rm -f ${ROOT_DIR}/${pkg}
        done
 
-       # No longer a need for xorg.conf
-       rm -f ${ROOT_DIR}/etc/X11/xorg.conf
+       # Create an Xorg.conf that overrides the default DPI (x bug workaround).
+       cat >${ROOT_DIR}/etc/X11/xorg.conf<<EOF
+Section "Monitor"
+       Identifier "Monitor0"
+       DisplaySize 200 150
+EndSection
+
+Section "Screen"
+       Identifier "Default Screen"
+       Monitor "Monitor0"
+EndSection
+EOF
 
        # configure gnome
        if [ -d ${ROOT_DIR}/etc/gconf/2 ]; then