debxo: override default X DPI

[xodist] / configs / debxo-xfce / hooks

diff --git a/configs/debxo-xfce/hooks b/configs/debxo-xfce/hooks
index d54080bf78d2c943e1566e3fe88be8cfa6000571..bb3a3b84105da9eda37039e676b2f38618ab4be6 100644 (file)
--- a/configs/debxo-xfce/hooks
+++ b/configs/debxo-xfce/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