From 6fbac34d72602997f39f994ccb39a0b0bddd6a31 Mon Sep 17 00:00:00 2001 From: chris Date: Sun, 22 Feb 2026 23:16:33 +0000 Subject: [PATCH] Delete .local/bin/setup/setupmaptool --- .local/bin/setup/setupmaptool | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100755 .local/bin/setup/setupmaptool 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