arch/pkg/de-p1st-xfce4-hidpi/xsettings.xml.holoscript

21 lines
707 B
Plaintext
Raw Normal View History

2021-05-11 17:54:47 +02:00
#!/bin/sh
# stdin: default config
# stdout: modified config
2021-07-02 12:50:24 +02:00
set -e
2021-05-11 17:54:47 +02:00
# save stdin in variable
2021-07-02 12:50:24 +02:00
stdin="$(cat)"
# assert WindowScalingFactor is as expected
echo "$stdin" | grep --quiet '<property name="WindowScalingFactor" type="int" value="1"/>'
# assert CursorThemeSize is as expected
echo "$stdin" | grep --quiet '<property name="CursorThemeSize" type="int" value="0"/>'
# 1. Double WindowScalingFactor
# 2.Increase cursor size to 32
2021-07-02 12:50:24 +02:00
echo "$stdin" | sed '
s|<property name="WindowScalingFactor" type="int" value="1"/>|<property name="WindowScalingFactor" type="int" value="2"/>|;
s|<property name="CursorThemeSize" type="int" value="0"/>|<property name="CursorThemeSize" type="int" value="32"/>|;
2021-07-02 12:50:24 +02:00
'