export WWW_HOME="file:///home/short/.bookmarks.html"
export GREP_OPTIONS="--binary-files=without-match --directories=skip"
[ -n "$PS1" ] && export PS1="`echo -en '\017'`$PS1" # set only in interactive sessions
export WWW_HOME="file:///home/short/.bookmarks.html"
export GREP_OPTIONS="--binary-files=without-match --directories=skip"
[ -n "$PS1" ] && export PS1="`echo -en '\017'`$PS1" # set only in interactive sessions