diff --git a/src/ChangeLog b/src/ChangeLog
index 657a63f17..9fec9151f 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2005-07-31  Roland Illig  <roland.illig@gmx.de>
+
+	* user.c (execute_menu_command): Allow execution on no-exec
+	filesystems. This fixes Savannah Bug #13832.
+
 2005-07-31  Roland Illig  <roland.illig@gmx.de>
 
 	* Makefile.am: Added support for extended character sets.
diff --git a/src/user.c b/src/user.c
index b6bb9c46d..83ff336a5 100644
--- a/src/user.c
+++ b/src/user.c
@@ -658,7 +658,11 @@ execute_menu_command (WEdit *edit_widget, const char *commands)
 	run_view = 0;
 	view (file_name, 0, &run_view, 0);
     } else {
-	shell_execute (file_name, EXECUTE_HIDE);
+	/* execute the command indirectly to allow execution even
+	 * on no-exec filesystems. */
+	char *cmd = g_strconcat("/bin/sh ", file_name, (char *)NULL);
+	shell_execute (cmd, EXECUTE_HIDE);
+	g_free(cmd);
     }
     unlink (file_name);
     g_free (file_name);