update bashrc
authorKen-ichi Mito <mitty@mitty.jp>
Sat, 14 Apr 2018 08:44:50 +0000 (17:44 +0900)
committerKen-ichi Mito <mitty@mitty.jp>
Sat, 14 Apr 2018 08:44:50 +0000 (17:44 +0900)
commita53ff5b0b6601c61e10a4e3d746acbff4349a0a1
tree15a0b03be57d12b1acc589118cadc15fc5e5bd8a
parentddb1335b75dbcacd9e3bf7bf7cb90510b67f13af
update bashrc

- unset history max size
- use ssh-agent with screen
  - from http://www.gcd.org/blog/2006/09/100/
- add $HOME/bin to $PATH if it exists
TipAndDoc/.bashrc