debxo-lxde: set default lxde panel size to 40px

[xodist] / configs / debxo-lxde / hooks

diff --git a/configs/debxo-lxde/hooks b/configs/debxo-lxde/hooks
index 66bb63a7ffb5d77084e2df36a05ffb1cc2f16d7c..85a0a258f1ef37b53d65b8101ef1e113546c26fe 100644 (file)
--- a/configs/debxo-lxde/hooks
+++ b/configs/debxo-lxde/hooks
@@ -85,6 +85,13 @@ Section "Screen"
 EndSection
 EOF
 
+       # configure default lxpanel size (it's awfully small otherwise)
+       F=${ROOT_DIR}/usr/share/lxpanel/profile/default/panels/panel
+       if [ -f ${F} ]; then
+               sed --in-place "s/height=26/height=40/" ${F}
+               sed --in-place "s/^}$/    iconsize=40\n}/" ${F}
+       fi
+
        # configure nodm
        F=${ROOT_DIR}/etc/default/nodm
        if [ -f ${F} ]; then