5
5
if [ -z "$ARB_TEXTEDIT" ]; then
6
6
echo '$ARB_TEXTEDIT is not defined - searching for an editor..'
10
10
if [ -x "`which edit`" ] ; then ARB_TEXTEDIT=edit; IS_X_EDITOR=0; fi
11
11
if [ -x "`which editor`" ] ; then ARB_TEXTEDIT=editor ; IS_X_EDITOR=0; fi
12
12
if [ -x "`which vi`" ] ; then ARB_TEXTEDIT=vi ; IS_X_EDITOR=0; fi