Daniel Borchmann
5ad5e32b9f
I.e., move all bash related configuration to bashrc, and call it from bash_profile. This should make things easier, I hope.
7 lines
88 B
Bash
7 lines
88 B
Bash
# -*- sh -*-
|
|
|
|
[[ -r /etc/bashrc ]] && . /etc/bashrc
|
|
[[ -r ~/.bashrc ]] && . ~/.bashrc
|
|
|
|
|