comparison: eric5_plugininstall.py
eric5_plugininstall.py
- changeset 2992
- dbdf27746da5
- parent 2965
- d133c7edd88a
- child 3034
- 7ce719013078
- child 3057
- 10516539f238
equal
deleted
inserted
replaced
5 # |
5 # |
6 |
6 |
7 """ |
7 """ |
8 Eric5 Plugin Installer. |
8 Eric5 Plugin Installer. |
9 |
9 |
10 This is the main Python script to install eric5 plugins from outside of the IDE. |
10 This is the main Python script to install eric5 plugins from outside of the |
|
11 IDE. |
11 """ |
12 """ |
12 |
13 |
13 import sys |
14 import sys |
14 |
15 |
15 for arg in sys.argv: |
16 for arg in sys.argv: |