view bashrc/bash_profile @ 378:5ae26582454e

Fix Windows install script error.
author Ludovic Chabant <ludovic@chabant.com>
date Sat, 25 Feb 2017 21:22:12 -0800
parents 2e0fbe44e9fe
children
line wrap: on
line source


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