diff options
Diffstat (limited to 'shell/source')
-rwxr-xr-x | shell/source/unix/misc/senddoc.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/shell/source/unix/misc/senddoc.sh b/shell/source/unix/misc/senddoc.sh index 692930ec2eec..f3657e69f90c 100755 --- a/shell/source/unix/misc/senddoc.sh +++ b/shell/source/unix/misc/senddoc.sh @@ -400,6 +400,10 @@ case `basename "$MAILER" | sed 's/-.*$//'` in ;; *) + # The user has tweaked the email settings, and configured something we + # do not recognize. Try to be smart, and send the mail anyway, if we + # have the possibility to do so. + if [ -x /usr/bin/gnome-open ] ; then MAILER = /usr/bin/gnome-open elif [ -x /usr/bin/xdg-open ] ; then |