15 Commits

Author	SHA1	Message	Date
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