Index: tools/ew.py
===================================================================
--- tools/ew.py	(revision ac49d23c50f5ce3313ff04e5b23498f931d7b3b4)
+++ tools/ew.py	(revision 1995ac3eb9bf37f3e753f79bcf6dba1a3c3df86e)
@@ -69,9 +69,9 @@
 
 def run_in_console(cmd, title):
-	ecmd = cmd.replace('"', '\\"')
 	temu = termemu_detect()
 	if temu == 'gnome-terminal':
-		cmdline = temu + ' -- ' + ecmd
-	else:
+		cmdline = temu + ' -- ' + cmd
+	else:
+		ecmd = cmd.replace('"', '\\"')
 		cmdline = temu + ' -T ' + '"' + title + '"' + ' -e "' + ecmd + '"'