Windowsで社内LANからプロキシを超えてGitHubにSSH接続する方法- http://re-dzine.net/2012/08/over-proxy-github/この記事を読んで sshでつなごうと思ったら， Authentication failed...私の場合，ユーザー認証ありのプロキシだったので， configの設定が間…

先日，あるPlay Frameworkを使ったプロジェクトを コンパイルすると，Viewに「error: value not found： ~ ・ｿ@(arg:Int)(arg2:Int) ^ 」のようなエラーが出ました．これは，Windowsのメモ帳で編集したことが 原因でした．以下の記事が参考になりました． ht…