]> arthur.barton.de Git - ConfigScripts.git/commit
Update shell history handling
authorAlexander Barton <alex@barton.de>
Fri, 22 Nov 2013 15:13:48 +0000 (16:13 +0100)
committerAlexander Barton <alex@barton.de>
Fri, 22 Nov 2013 15:13:58 +0000 (16:13 +0100)
commitcd61ac46e8fa09a0f7d91e2ba69ddff03596ee3d
tree5868987ef3a9017f776a6abb84c1023feed16e9e
parentb13b36e4587f7895d7d5f0acc98bf9d45b31b46e
Update shell history handling

Save more history to disk, and enable shell options "histverify"
and "histreedit".
sys/bashrc