■

今後も何度となく環境を壊しそうなので、インストールメモ兼シェルスクリプトを作成(頭に#!/bin/sh を書き込んだだけ)。debian だからできる技かもしれない。最初からこうしておけばよかった。インストールが/usr/local/bin にさしかかったら結局手動になるとは思うけど。