2017-06-16 bashのコマンド履歴を活用したくなったら bash historyサイズの変更 http://www.usupi.org/sysad/120.html historyの検索と呼び出し http://www.atmarkit.co.jp/flinux/rensai/linuxtips/011bashbistory.html historyのbash間共有 http://bearmini.hatenablog.com/entry/2013/06/18/142002