C-c C-n しか憶えてない。http://proofcafe.org/wiki/ProofGeneral より： command action C-c C-n 1ステップ進む C-c C-u 1ステップ戻る C-c C-Enter カーソル位置まで進める C-c C-a C-o SearchPattern C-c C-a C-p Print C-c C-a C-c Check C-c C-a C-s S…

LLVM/CLang上のC++インタプリタ Cling https://root.cern.ch/cling Windows上のビルドはダメだった。いまいましいコマンドラインは： $ cmake --build . --config Release --target clang.... # この間、2時間弱[100%] Linking CXX executable ../../../../b…

http://www.gnu.org/software/global/download.html glo651wb.zip (Version 6.5.1) インストール先 C:\Installed\GnuGlobal\ パス追加： C:\Installed\GnuGlobal\bin コマンド： gtags, htags, global 使い方 $ cd src-of-FOO $ gtags -vw [Thu Dec 03 20:04…

magitのsubmodule addは、生コマンドより使いやすい。生コマンドの git submodule add, git submodule init, git submodule update, git submodule checkout を一度にやってくれる。だが、magit操作に慣れると、コマンドラインで慌てふためいたり途方に暮れ…

何が起きるかを確認しながら操作した。まず、物理的に（フィイルシステム上で）入れ子リポジトリを作る。何もしなくても、gitは入れ子リポジトリを認識する。親をリモートへプッシュすると、子リポジトリの実体は送らないで、git-module-test2 → 27b35aabc6d…

Windowsシステムにあるconvert.exeはファイルシステムの変換だった。 https://support.microsoft.com/ja-jp/kb/214579 一般的な名前すぎる。

chocoで入れた。例によって何処に入ったか分からない。\Program Files\ だった。convert.exeは、system32にも入っているので、パスの順序に注意。which convertで確認。

まとまっている。 http://magit.vc/manual/magit.html

http://d.hatena.ne.jp/kanonji/20110829/1314596493 に git remote set-url origin git@git.example.com:foo/bar.git とかのコマンドを使う旨書いてあるが、./.git/config に [remote "origin"] url = https://github.com/m-hiyama/hugo-sample.git fetch =…

GitHub gistのコマンドラインツールにRuby製のgistがある。Windowsでもインストールはできる。 > gem install gist Fetching: gist-4.4.2.gem (100%) Successfully installed gist-4.4.2 1 gem installed Installing ri documentation for gist-4.4.2... Ins…

sshじゃなくてhttpsのとき、 http://qiita.com/usamik26/items/c655abcaeee02ea59695 http://d.hatena.ne.jp/idesaku/20120128/1327749355 コマンド git config --global credential.helper cache これは設定はできるが、Windowsではまともに動かない。Windo…

git add . これでたいていaddし過ぎ、GUI（source tree）から消すのもありだが、 git reset HEAD ファイル名 で、ステージングエリアから取り除ける。ファイル名を眺めて、.gitignoreを書き換えるのもいい。

シェル変数への代入は、=の両側空白なし。FOO=bar 、FOO='bar baz' とか。 $$はシェルのPID、一時ファイル名によく使う。Makefile上では$$$$ install -d は便利 でも、installよりcpのほうが便利なときが多い。 cp -R my/dir your/ と cp -R my/dir/* your/d…