script file execution
demo_run(fil)
The function demo_run executes a script in the file ‘fil’ given in argument.
Enter search terms or a module, class or function name.