* user.c (execute_menu_command): Prefix the command with a space

to prevent recording in ~/.bash_history.

src/ChangeLog

@@ -1,6 +1,8 @@
 2004-11-15  Leonard den Ottolander  <leonard * den ottolander nl>
 
 	* file.c: Code cleanup (mostly indentation).
+	* user.c (execute_menu_command): Prefix the command with a space
+	to prevent recording in ~/.bash_history.
 
 2004-11-12  Pavel Shirshov  <me@pavelsh.pp.ru>
 

src/user.c

@@ -546,7 +546,7 @@ execute_menu_command (WEdit *edit_widget, const char *commands)
     int  do_quote = 0;
     char prompt [80];
     int  col;
-    char *file_name;
+    char *file_name, *space_file_name;
     int run_view = 0;
 
     /* Skip menu entry title line */
@@ -632,14 +632,16 @@ execute_menu_command (WEdit *edit_widget, const char *commands)
     }
     fclose (cmd_file);
     chmod (file_name, S_IRWXU);
+    space_file_name = g_strconcat (" ", file_name, (char *) NULL);
     if (run_view) {
 	run_view = 0;
-	view (file_name, 0, &run_view, 0);
+	view (space_file_name, 0, &run_view, 0);
     } else {
-	shell_execute (file_name, 0);
+	shell_execute (space_file_name, 0);
     }
     unlink (file_name);
     g_free (file_name);
+    g_free (space_file_name);
 }
 
 /*