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" ;;
export SOCKS5_SERVER=icsocks.holland.sun.com
+# Force English.
+unset LANG LANGUAGE `set|sed -n 's/^\(LC_[^=]*\)=.*$/\1/p'`
+export LANG=en_US.UTF-8
# Force strcoll() to sort case-sensitively! (empty/undef doesn't work)
export LC_COLLATE=C
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