2017年11月23日
Ubuntu の sh は bash ではなく、dash というものである。これがたまに問題になることがある。これを変更するには以下のようにする。
$ sudo dpkg-reconfigure dash
"Use dash as the default system shell (/bin/sh)?" と聞かれるので、Yes/No を答えれば良い。