-
Notifications
You must be signed in to change notification settings - Fork 12
MicroDrop plugin manager
Ryan Fobel edited this page Nov 30, 2016
·
1 revision
The MicroDrop plugin manager is a command-line tool (inspired by pip
) for managing (e.g., installing, uninstalling) MicroDrop plugins.
For full usage details, see the project home page.
Basic usage to install a plugin:
-
Start MicroDrop environment command prompt using the following shortcut:
-
In MicroDrop environment command prompt, run:
python -m mpm -c <microdrop settings directory>\microdrop.ini install plugin [plugin [plugin ...]]
To install featured plugins:
python -m mpm -c <microdrop settings directory>\microdrop.ini install dmf_control_board_plugin dmf_device_ui_plugin droplet_planning_plugin user_prompt_plugin step_label_plugin