- Suggested by Chet Ramey.
function _bash_profile_addpath # <variablename>,<dirpathname>
{
- # FIXME: local OPTIND
- # see also: <20041223083747.GA9955@kobhome.dyn.jankratochvil.net>
- unset OPTIND
local _varname _dirpathname _opt_f _opt_s
_opt_f=0;_opt_s=0
+ unset OPTIND
while getopts fs got;do
case "$got" in
[fs]) eval "_opt_$got=1" ;;
ulimit -c 0
set +H
shopt -s mailwarn
-unset OPTIND # FIXME; see also: <20041223083747.GA9955@kobhome.dyn.jankratochvil.net>
+unset OPTIND
if [ -f "$HOME/.bashrc.local" ];then source "$HOME/.bashrc.local";fi