金魚亭日常

読書,ガジェット,競技プログラミング

2017-02-15から1日間の記事一覧

ImageJ の Jython が 2.7 になった

最近 Overlay と ROI を管理するやつを作っていて console: Failed to install '': java.nio.charset.UnsupportedCharsetException: cp0. というエラーが出るようになり,調べていたら,2.7だということに気づいた. http://bugs.jython.org/issue2222%3Ebug…

git filter-branch した後処理

git filter-branch で例えばサイズの大きいバイナリファイルとかを完全消去したはずなのにレポジトリのサイズが減らない場合, rm -Rf .git/refs/original rm -Rf .git/logs/ git gc git prune --expire now する. https://git-scm.com/book/ja/v2/Git%E3%8…