2011-07-27 rootユーザのPATHを設定する Ubuntu sudoすると、root用のPATHに切り替わってしまう。 これはmake installなどの時にいろいろ不便。 で、root用のPATH設定は/etc/environmentで行える。