2010/02/12

[Linux] Gnome 設定工具 script 範例

Gnome 的設定很多,大部份都有 GUI 的工具可以協助設定,然而不是每一樣東西都有 GUI 工具就是方便,像我是一個鍵盤的重度使用者,所以希望可以不要每次都要開 GUI 出來設定。像這樣在 command line 底下做 GUI 的設定需求其實還不少,所以 gnome 的設計在 command line 底下也有一個工具叫 gconf-editor (屁啦,這個是用 GUI 作所有的細項設定用的) 是叫 gconftool2 的可以幫忙。以下是一個代理伺服器的設定範例,讓你可以再設一個鍵盤快速鍵快速設定 proxy :
$ cat bin/on_location_change
#!/bin/bash
info () {
zenity --info --text="$@"
}

mode=$(gconftool-2 --get /system/proxy/mode)
if [ "$mode" = "none" ]; then
info "Beta 作用中"
gconftool-2 --type string --set /system/proxy/mode manual
gconftool-2 --type string --set /system/proxy/socks_host 192.168.56.101
gconftool-2 --type int --set /system/proxy/socks_port 7070
else
info "Beta 不作用"
gconftool-2 --type string --set /system/proxy/mode none
fi
gconftool-2 --type list --set /system/http_proxy/ignore_hosts \
--list-type string "[localhost,127.0.0.0/8,*.local,10.*.*.*,192.*.*.*]"
張貼留言

[Windows] git-bash 底下的工具

因為工作轉到 Windows 平台上的關係,所以很多工具改到 Windows 上面運作,跟著在 TortoiseGit 底下使用 git-bash 來維護自己的專案原始碼。結果就是裝了前面提過的 auto-hotkey 使用熱鍵來提昇自己的平台操作速度; 但除了 hotkey...