idlがインストールされているディレクトリにidl_setup.bashというのがあるので、bashを使っている場合はそれを読み込む。zshの人はそれを読み込んでもおそらく動くが、気持ち悪ければ適当にコピーする。 今回はライブラリとしてGitHub - wlandsman/IDLAstro:…

gitで個人的に管理しているファイルを、他の人があるタイミングで持っていって、その編集結果をマージする、という作業をしたので、覚書としてメモ。git log でマージ元を特定 $ git log 0e23211f702f84a5ecd7c0aa765760a21043f020 だった。 $ git checkout …