Skip to content
This repository has been archived by the owner on Jun 20, 2018. It is now read-only.

Commit

Permalink
Make plugin-ext npm module (#12)
Browse files Browse the repository at this point in the history
  • Loading branch information
mmorhun authored and benoitf committed Jun 13, 2018
1 parent 112a0a3 commit b779538
Show file tree
Hide file tree
Showing 3 changed files with 15 additions and 0 deletions.
3 changes: 3 additions & 0 deletions packages/plugin-ext/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,8 @@

See [here](https://github.com/theia-ide/theia) for a detailed documentation.

## Contribution points:
- Hosted Istance uri post processor

## License
[Apache-2.0](https://github.com/theia-ide/theia/blob/master/LICENSE)
2 changes: 2 additions & 0 deletions packages/plugin-ext/package.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@
"name": "@theia/plugin-ext",
"version": "0.3.10",
"description": "Theia - Plugin Extension",
"main": "lib/common/index.js",
"typings": "lib/common/index.d.ts",
"dependencies": {
"@theia/core": "^0.3.10",
"@theia/filesystem": "^0.3.10",
Expand Down
10 changes: 10 additions & 0 deletions packages/plugin-ext/src/common/index.ts
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
/*
* Copyright (C) 2018 Red Hat, Inc. and others.
*
* Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License.
* You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0
*/

// Exports contribution point for uri postprocessor of hosted plugin manager.
// This could be used to alter hosted instance uri, for example, change port.
export * from '../hosted/node/hosted-plugin-uri-postprocessor';

0 comments on commit b779538

Please sign in to comment.