|
|
@ -38,10 +38,12 @@ _source_host_specific_rcfile(){
|
|
|
|
_source_bash_extras()
|
|
|
|
_source_bash_extras()
|
|
|
|
{
|
|
|
|
{
|
|
|
|
local _BASH_EXTRAS="
|
|
|
|
local _BASH_EXTRAS="
|
|
|
|
|
|
|
|
$HOME/.bashrc_local
|
|
|
|
$HOME/.bash_aliases
|
|
|
|
$HOME/.bash_aliases
|
|
|
|
$HOME/.bash_functions
|
|
|
|
$HOME/.bash_functions
|
|
|
|
/etc/bash_completion
|
|
|
|
/etc/bash_completion
|
|
|
|
$HOME/.bash_completion
|
|
|
|
$HOME/.bash_completion
|
|
|
|
|
|
|
|
$HOME/.autoenv/activate.sh
|
|
|
|
"
|
|
|
|
"
|
|
|
|
for ext in $_BASH_EXTRAS ; do
|
|
|
|
for ext in $_BASH_EXTRAS ; do
|
|
|
|
if [ -e "$ext" ] ; then
|
|
|
|
if [ -e "$ext" ] ; then
|
|
|
|