Using the execute button on files with special characters (spaces) in the name

Running scripts using the execute button doesn’t work, if the filename contains spaces or special characters.
See following feedback:

Feedback from user ‘phamacherbaumann’ (philip.hamacher-baumann@rwth-aachen.de):

Dateinamen mit Leerzeichen, Klammern, und anderen Zeichen, die eigentlich nicht da rein gehoeren, machen den Shortcut “Ausfuehren” kaputt.

Reproduzieren:

  1. Datei anlegen mit Namen “escape test.py”
  2. Ausfuerehen aus Editor (z.B. Strg+E)
  3. Error - Man beachte, dass die Ausfuerhrung nicht abgebrochen wird.

Error Message:
5/8/2017, 1:29:09 PM:
executing “python escape test.py”
——————————
OUTPUT:

python: can’t open file ‘escape’: [Errno 2] No such file or directory


runtime: 3 m, 56.62 s

Browser: Firefox 45 (45.0)
Engine: Gecko (45.0)
OS: Linux (i686)
_
VISPA-devel mailing list
VISPA-devel@lists.rwth-aachen.de
https://mailman.rwth-aachen.de/mailman/listinfo/vispa-devel

(from redmine: issue id 2454, created on 2017-05-08 by florian.von.cube)