2016-03-17から1日間の記事一覧
gitの前のバージョン(HEAD)を取り出して,現在のファイルとlatexdiffする. シェル上では次のように実行すれば良い. $ git show HEAD:./$1.tex > tmp.tex $ latexdiff tmp.tex $1.tex > diff_HEAD_$1.tex; bashrcやzshrcに書いておくと便利. function gi…
gitの前のバージョン(HEAD)を取り出して,現在のファイルとlatexdiffする. シェル上では次のように実行すれば良い. $ git show HEAD:./$1.tex > tmp.tex $ latexdiff tmp.tex $1.tex > diff_HEAD_$1.tex; bashrcやzshrcに書いておくと便利. function gi…