This menu features GRT scripting and plugin options. The Scripting menu has these items:
Scripting Shell: Launches the MySQL Workbench Scripting Shell. For additional information, see Section 12.5, “The Workbench Scripting Shell”.
New Script: Opens a New Script File dialogue, with options to create a Python Script, Lua Script, Python Plugin, or Python Module.
Open Script: Opens a Open GRT Script dialogue, which defaults to the Workbench scripts directory. Files are opened into the Workbench Scripting Shell window.
Run Script File: Executes the script that is currently open.
Run Workbench Script File: Executes the specified script file.
Install Plugin/Module File: Loads and installs a plugin or module file
Plugin Manager: Displays information about the plugins that are installed, and allows disabling and uninstalling the plugins.