2018-02-03 00:34:17 -06:00
|
|
|
#!/bin/bash
|
|
|
|
#
|
|
|
|
# ~/.bashrc
|
|
|
|
#
|
|
|
|
|
|
|
|
# If not running interactively, don't do anything
|
|
|
|
[[ $- != *i* ]] && return
|
|
|
|
|
|
|
|
# Source .profile
|
2018-08-08 16:55:48 -05:00
|
|
|
if [ -r ~/.profile ]; then
|
2018-02-03 00:34:17 -06:00
|
|
|
source ~/.profile
|
|
|
|
fi
|
|
|
|
|