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