Author: Not specified | Language: bash |
Description: Not specified | Timestamp: 2018-01-20 17:11:39 +0000 |
View raw paste | Reply |
- #!/bin/sh
- file="$HOME/.Xresources"
- if [ $(xrandr | awk '/DP1/ {print $2}') = "connected" ]; then
- sed -i '' 's/pixelsize=15/pixelsize=13/g' $file
- else
- sed -i '' 's/pixelsize=13/pixelsize=15/g' $file
- fi
View raw paste | Reply |