view bashrc/bash_profile @ 186:01304e9b4c19

Re-add Gundo mappings.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 20 Jul 2014 21:18:48 -0700
parents 2e0fbe44e9fe
children
line wrap: on
line source


# include .bashrc if it exists
if [ -f ~/.bashrc ]; then
    . ~/.bashrc
fi