OSDN Git Service
(root)
/
instantos
/
instantOS.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
8d854d8
)
improve dpi naming
author
paperbenni
<paperbenni@gmail.com>
Mon, 3 Aug 2020 18:03:51 +0000
(20:03 +0200)
committer
paperbenni
<paperbenni@gmail.com>
Mon, 3 Aug 2020 18:03:51 +0000
(20:03 +0200)
programs/instantdpi
patch
|
blob
|
history
diff --git
a/programs/instantdpi
b/programs/instantdpi
index
aaa7d6f
..
e2407ff
100755
(executable)
--- a/
programs/instantdpi
+++ b/
programs/instantdpi
@@
-9,7
+9,7
@@
resetdpi() {
sed -i '/^Xft\.dpi/d' ~/.Xresources
}
sed -i '/^Xft\.dpi/d' ~/.Xresources
}
-append
resources
() {
+append
pi
() {
echo "setting dpi to $DPI"
echo "Xft.dpi: $DPI" >>~/.Xresources
}
echo "setting dpi to $DPI"
echo "Xft.dpi: $DPI" >>~/.Xresources
}
@@
-30,10
+30,10
@@
fi
if ! [ -e .Xresources ]; then
echo "initializing xresources"
touch ~/.Xresources
if ! [ -e .Xresources ]; then
echo "initializing xresources"
touch ~/.Xresources
- append
resources
"$DPI"
+ append
pi
"$DPI"
else
if grep -q '^Xft.dpi' ~/.Xresources; then
resetdpi
fi
else
if grep -q '^Xft.dpi' ~/.Xresources; then
resetdpi
fi
- append
resources
"$DPI"
+ append
pi
"$DPI"
fi
fi