Thomas LE ROUX
|
651cb89948
|
refactor(plugin): Enable human-friendly plugin name
|
2016-12-12 16:37:48 +01:00 |
|
Zachary Yedidia
|
1b9bb31dd6
|
Cleanup and add more comments
|
2016-10-18 11:12:28 -04:00 |
|
Zachary Yedidia
|
38bf8c0225
|
Temporary fix for plugin panic
Fixes #402
|
2016-10-07 20:34:03 -04:00 |
|
Zachary Yedidia
|
d3d35bd9ff
|
Add more descriptive error messages for plugin installation failures
Ref #378
|
2016-10-05 18:00:05 -04:00 |
|
Zachary Yedidia
|
fb90e169cb
|
Only allow one package per repository
This may be temporary.
Ref #378
|
2016-10-05 17:52:39 -04:00 |
|
boombuler
|
3e8a587aa3
|
changed json5 repo
|
2016-10-02 07:57:39 +02:00 |
|
boombuler
|
8f2f1f8c1d
|
skip core dependencies if micro was build with an unknown version.
|
2016-10-01 09:28:48 +02:00 |
|
boombuler
|
a940ce3036
|
allow user to set plugin channels / repos in settings.json
|
2016-10-01 08:37:04 +02:00 |
|
boombuler
|
d7da72a720
|
fix plugin zips which contain a root directory
|
2016-10-01 08:05:05 +02:00 |
|
boombuler
|
b54853140a
|
new command plugin list
this command shows all currently installed plugins and their verion
|
2016-10-01 07:37:20 +02:00 |
|
boombuler
|
1fe1c3eabb
|
improved plugin search
|
2016-09-28 18:31:05 +02:00 |
|
boombuler
|
8aa017bfda
|
autocomplete plugin commands
|
2016-09-28 18:15:39 +02:00 |
|
boombuler
|
9ea947c808
|
improved logging
|
2016-09-28 18:00:12 +02:00 |
|
boombuler
|
2a7a55eca4
|
better plugin search
|
2016-09-28 17:55:44 +02:00 |
|
Florian Sundermann
|
cce36624dc
|
PM should not install already installed plugins.
|
2016-09-28 16:34:28 +02:00 |
|
boombuler
|
f3f4790103
|
simple plugin search
|
2016-09-27 21:25:57 +02:00 |
|
Florian Sundermann
|
23ef69b935
|
change pluginmanager json to json5
|
2016-09-27 13:28:32 +02:00 |
|
Florian Sundermann
|
55c790f069
|
more tolerant version parsing
|
2016-09-27 13:26:11 +02:00 |
|
Florian Sundermann
|
f351c251e4
|
first few pm commands
|
2016-09-26 16:53:39 +02:00 |
|
boombuler
|
567faeb07e
|
initial commit of pluginmanager
|
2016-09-23 10:03:42 +02:00 |
|