grive の最新版は 0.3.0みたいだけど、最新版はファイルの削除をしてくれない。
0.2.0はやってくれるらしいのでそちらに移行した。
方法は前と基本的に同じ。
違うところはgit で前のバージョンをダウンロードするようにするだけ。
git clone git://github.com/Grive/grive.git
#バージョン確認
git branch -r
# 下の方に origin/v0.2.0 が出力されるはず
#0.2.0をチェックアウト
git checkout -b v0.2.0 origin/v0.2.0
あとは前と同じように cmake でコンパイル。
これで楽しいgriveライフを送れるはず。
さて原稿が最終段階まで来た。今週中にけりをつけたいな。
登録:
コメントの投稿 (Atom)
747びぼーろく; チャイコフスキーの悲愴
を久しぶりに聞いた。やはり名曲。終楽章の序盤のクラリネットの高音を混ぜた和音と終盤ドラの響きを思いついたのは天才的だと思う。
-
ちょっと迷ったのでメモ。 基本的な方法としては音ズレしている動画から音声ファイルと無音の動画ファイルを作成し、再結合する時に音もしくは映像を遅らせて結合する。(もっとうまいやり方があるかもしれないけど...) ffmpeg -ss 5.4 -i source.m...
-
latexで今までヤング図 (young tableaux) 書くことになったのでその導入メモ。 youngtab.styが必要なのでまずはそのインストールから。 debian8 (jessie)では texlive-science に含まれているらしいのでいつもどおり...
-
maximaから移行するにあたって色々と読み替え。pythonでは楕円関数はscipyに入っているらしい。あまり情報がないのでメモ。まず楕円関数は$y={\rm sn}(u,k)$は次の楕円積分の逆関数として定める: \[u=\int_0^{\arcsin(y)} {\rm d...
0 件のコメント:
コメントを投稿