Change the Screen Resolution (Linux)

Linux 上可以使用 command line tool xrandr 來設定 screen resolution。

我之所以會有這個需要，是因為在使用 Wine 玩某些舊遊戲的時候，有些舊遊戲在結束以後並不會正確的將螢幕解析度設回來。所以寫了一個小程式可以使用 xrandr 快速的設定回來。目前我這台電腦設定值是 1366x768，所以小程式的預設值我也是這樣設。

#!/usr/bin/tclsh

if {$argc >= 1} {
    set mysize [lindex $argv 0]
} elseif {$argc == 0} {
    set mysize 1366x768
}

set var [list xrandr -s $mysize]
exec {*}$var