function _bash_profile_addpath # <variablename>,<dirpathname>
{
- local OPTIND
+ # 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
- OPTIND=1;while getopts fs got;do
+ while getopts fs got;do
case "$got" in
[fs]) eval "_opt_$got=1" ;;
*) return 1 ;;
export GREP_OPTIONS="--binary-files=without-match --directories=skip"
if [ -n "$PS1" ];then # set only in interactive sessions
export PS1='[bash]${LOGNAME}@${HOSTNAME}:${PWD}# '
- kbd_mode -u # utf-8
- export PS1='\[\017\033%G\]'"$PS1" # \017=std charmap, \033%G=utf-8
- # export PS1='\[\017\]'"$PS1" # \017=std charmap
+ export PS1='\[\017\]'"$PS1" # \017=std charmap
+ export PS1='\[\033%G\]'"$PS1" # \033%G=utf-8
+ # Do not: kbd_mode -u # utf-8
+ # as it breaks keyboard state in X and it is not permitted for non-root.
fi
export MINICOM="-m -c on" # metakeys+color
export HISTSIZE=100000
ulimit -c 0
set +H
shopt -s mailwarn
+unset OPTIND # FIXME; see also: <20041223083747.GA9955@kobhome.dyn.jankratochvil.net>
if [ -f "$HOME/.bashrc.local" ];then source "$HOME/.bashrc.local";fi