]> spindle.queued.net Git - xodist/commitdiff
debxo: override default X DPI
authorAndres Salomon <dilinger@queued.net>
Fri, 19 Nov 2010 22:08:35 +0000 (14:08 -0800)
committerAndres Salomon <dilinger@queued.net>
Fri, 19 Nov 2010 22:12:44 +0000 (14:12 -0800)
This makes xorg fonts more readable..

Signed-off-by: Andres Salomon <dilinger@queued.net>
configs/debxo-awesome/hooks
configs/debxo-gnome/hooks
configs/debxo-kde/hooks
configs/debxo-lxde/hooks
configs/debxo-sugar/hooks
configs/debxo-xfce/hooks

index c207995d8bf58278788b24e18bce527ce846c500..56aeffad72fe680d82b074dbacbe3d3875b0d95d 100644 (file)
@@ -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
index c3eb6defe52cefa9dd21171e22b9ec91ba8dc397..60befd60f29c60e33711f4670f97463e249f8df9 100644 (file)
@@ -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
index 16c0f70958d7cf0cebf5d3972a635c3b7be4efdf..2447db4f56781674d31e6c767084777b4eeba17e 100644 (file)
@@ -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 kdm
        if [ -d ${ROOT_DIR}/etc/kde3/kdm ]; then
index 371fc8e2ca25e18cc72f007030f27ddcca3dca04..f1e4d2ec36c23a5cf3e3d584d5d1fe569dc3fe62 100644 (file)
@@ -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
index bd42ba7786e3ff045b357e3e1fed3fcb7bf7b6e3..53cbdf17efa6fb88c04f5631f6c524d9fad54c61 100644 (file)
@@ -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
index d54080bf78d2c943e1566e3fe88be8cfa6000571..bb3a3b84105da9eda37039e676b2f38618ab4be6 100644 (file)
@@ -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