Delete .local/bin/setup/setupmaptool
This commit is contained in:
@@ -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
|
||||
Reference in New Issue
Block a user