debxo: override default X DPI

[xodist] / configs / debxo-awesome / hooks

diff --git a/configs/debxo-awesome/hooks b/configs/debxo-awesome/hooks
index c207995d8bf58278788b24e18bce527ce846c500..56aeffad72fe680d82b074dbacbe3d3875b0d95d 100644 (file)
--- a/configs/debxo-awesome/hooks
+++ b/configs/debxo-awesome/hooks
@@ -72,8 +72,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 nodm
        F=${ROOT_DIR}/etc/default/nodm