for x in /a/bin/bash_unpublished/source-!(.#*); do source $x; done
source $(dirname $(readlink -f $BASH_SOURCE))/path_add-function
source /a/bin/log-quiet/logq-function
-if [[ -e /a/bin/errhandle/err ]]; then
- source /a/bin/errhandle/err
- err-allow
-fi
-# if someone exported $SOE (stop on error), catch errors
+# if someone exported $SOE (stop on error), catch errors.
+#
+# Note, on debian this results in the following warning when in ssh,
+# hich I haven't figured out how to fix. It doesn't happen if we source
+# after the shell has started
+#
+# bash: /usr/share/bashdb/bashdb-main.inc: No such file or directory
+# bash: warning: cannot start debugger; debugging mode disabled
if [[ $SOE ]]; then
- err-catch
+ if [[ -e /a/bin/errhandle/err ]]; then
+ source /a/bin/errhandle/err
+ fi
fi
path_add /a/exe