diff --git a/.local/bin/setup/setupmaptool b/.local/bin/setup/setupmaptool deleted file mode 100755 index bcdce37..0000000 --- a/.local/bin/setup/setupmaptool +++ /dev/null @@ -1,10 +0,0 @@ -#! /bin/bash - -echo "Configuring MapTool" - -# Scale up the GUI by 2 times for HiDPI screens -if [ -f "${XDG_CONFIG_HOME:-$HOME/.config}/x11/.DPI" ]; then - DPI="$(cat "${XDG_CONFIG_HOME:-$HOME/.config}/x11/.DPI")" - SCALE="$(((DPI+48)/96))" - doas -A sed -i "/\[JavaOptions\]/a -Dsun.java2d.uiScale=$SCALE" /opt/maptool/lib/app/MapTool.cfg -fi