PostgreSQL 8.0

博物館の PostgreSQL を最新版に入れ替え。
make が終わったら、とりあえず今動いているデータベースを pg_dumpall して、PostgreSQL を止めて、/usr/local/pgsql を pgsql.old にリネームしてからインストール。
あとは initdb してから、ダンプしたデータベースを書き込み。
何の問題も無く、あっさりアップデートできました。
研究室のもそのうち入れ替えよう。