github twitter linkedin
script to switch between high and low dpi displays