yaourtが入っていることを前提とする. yaourt -S crosstool-ng mkdir -p ~/cross/bin cd ~/cross/bin ct-ng list-samples ct-ng <選んだsample> ct-ng menuconfig ここで設定するわけだが要点は以下の様に

bashでは if [ $a -eq 0 ] ... と書く代わりに if [[ $a -eq 0 ]] ... と書ける。 test ( [] ) は外部コマンドだから評価のときに毎回forkして遅いような気がする。

以前も若干勝手にCoqを勉強したことはありましたが,その時は直感主義論理の簡単な証明を書いたくらいで時間がなくなってしまいました.今回は非常

普段Firefox Nightlyを使っているんですが,今日Firefoxを起動しようとしていたら珍しくCouldn’t load XPCO

僕は何を思ったかThunderbirdのalpha版であるEarly birdを使っています.そのため数々のadd-onが使えません.カレンダ

普段ダイヤグラムやUMLを書くのにdiaを使っている者としてはdiaでオートマトンを書きたくなることはよくあります.(ないか?)しかしdia

Line for Macを使っているが、気がついたらApp Store経由でしかinstallできなくなっていた。permissionの都合でホームディレク

先日Cygwinのパッケージの更新を行おうと思ってsetup.exeを起動した。すると、レポジトリの情報を取得するときに unable to get setup.ini と言われて取

VMwareの設定を終えたと思いきや共有フォルダフォルダ機能が動きませんでした。何事かと思いましたが色々調べてみると次の記事に当たりました。

cygwinのsedを使ってタブ区切りのtsvをカンマ区切りのcsvに変換しようとしました。 sed -e 's/\t/,/g' でできるかと思ったら出来なかった。 sed -e 's/'$'\t''/,/g' に