JenkinsをインストールしたらなぜかEvernoteの同期ができなくなってしまった。原因はProxyを使ってたのが原因だった。Google ChromeとかIEでProxyのポートを8080にしておくとJenkinsも8080を使ってしまうためなのかポートが塞がってしまう。これを回避するた…

ちょっとしたデバッグ用マクロ。ecrobot_debug1が不便なので作ってみた。 #define DATA_OUTPUT(str, a, b, c) \ display_clear(0); \ display_goto_xy(0, 0); \ display_string(#str); \ \ display_goto_xy(0, 1); \ display_string("VAR1: "); \ display_in…

ghc-mod not foundがよく出てくるのでいい加減書いておく。ghc-mod not found はPATH設定してないのがゲンインらしい。 対処方法 もしghc-modをインストールしていない場合は $ cabal install ghc-modでインストールしておく。LinuxとWindowsの場合の設定の…

Windows 7で「タスクバーを自動的に隠す」をチェックしてもタスクバーがなぜか隠れなくなった。どうやってこの状態を再現させるかが謎だけど、対処法はわかった気がする。 対処法1 キーボードの上の段にあるF11を押して全画面表示にしてから、もう一度F11を…

あのアイコンを探すけどgoogleで検索してもなかなか出ないのでメモ。penguin2716/teokure-icons - GitHub現時点(2012/8/8)で、ておくれアイコン205種とかすごい。今はgithubで管理しているみたい。