2007-08-04 複数端末で history を保存 shopt -s histappend で histappend オプションを有効にする.これをやっていないと,複数端末を開いているとき,最後に閉じた端末の history で今までの history が上書きされてしまう.