jwm 壁紙の設定の仕方 how to set wallpaper jwm on ubuntu 12.04 lts

ubuntu 12.04 lts　jwmでデスクトップの背景に画像を使いたい場合、コマンドを使う必要がある。

Test.jpgを壁紙にする例を以下に示す

etermをインストールする
sudo apt-get install eterm

ホームディレクトリにあるファイル.jwmrcをエディタで開く。

<Background>タグをコメントアウトする

<StartupCommand>に以下のようにコマンドを追加する
/usr/bin/Esetroot -m /home/xxx/Pictures/wallpapers/Test.jpg

参考


 Esetroot -scaleとするとデスクトップ全体に画像が広がる
参考 

chrome (chromium) の検索エンジンをGoogle.com (英語)にする方法 always English in Google.com

URLを以下のようにして検索エンジンを追加すれば、googleにおいて英語で検索したい時に使える

http://www.google.com/search?q=%s&hl=en&{google:RLZ}{google:originalQueryForSuggestion}{google:assistedQueryStats}{google:searchFieldtrialParameter}{google:bookmarkBarPinned}{google:searchClient}{google:sourceId}{google:instantExtendedEnabledParameter}{google:omniboxStartMarginParameter}{google:contextualSearchVersion}ie={inputEncoding}

参考
参考

オートマトン、形式言語 参考書

オートマトン・言語理論の基礎  近代科学社/米田政明

学校で使ってた教科書よりわかりやすいのでオススメ。

決定性有限オートマトンを簡単にする方法
非決定性有限オートマトンと等しい決定性有限オートマトンの状態遷移図の作り方 p48 例2.6

firefox 35 検索エンジンがうまく切り替わらない場合

ubuntuのfirefox 35で検索エンジンの切り替えがうまく機能しない場合以下を試す

アドレスバーにabout:config
browser.search.showOneOffButtonsをfalse