2023-08-28 23:12:15 +08:00
|
|
|
name: plug-manager
|
|
|
|
requiredPermissions:
|
|
|
|
- fetch
|
|
|
|
functions:
|
|
|
|
updatePlugsCommand:
|
|
|
|
path: ./plugmanager.ts:updatePlugsCommand
|
|
|
|
command:
|
|
|
|
name: "Plugs: Update"
|
|
|
|
key: "Ctrl-Shift-p"
|
|
|
|
mac: "Cmd-Shift-p"
|
2024-01-27 00:05:10 +08:00
|
|
|
requireMode: rw
|
2023-08-28 23:12:15 +08:00
|
|
|
getPlugHTTPS:
|
|
|
|
path: "./plugmanager.ts:getPlugHTTPS"
|
|
|
|
events:
|
|
|
|
- get-plug:https
|
|
|
|
getPlugGithub:
|
|
|
|
path: "./plugmanager.ts:getPlugGithub"
|
|
|
|
events:
|
|
|
|
- get-plug:github
|
|
|
|
getPlugGithubRelease:
|
|
|
|
path: "./plugmanager.ts:getPlugGithubRelease"
|
|
|
|
events:
|
|
|
|
- get-plug:ghr
|
|
|
|
addPlugCommand:
|
|
|
|
path: ./plugmanager.ts:addPlugCommand
|
|
|
|
command:
|
|
|
|
name: "Plugs: Add"
|
2024-01-27 00:05:10 +08:00
|
|
|
requireMode: rw
|