Created
May 24, 2018 10:52
-
-
Save sunix/c081a5b9d631433729008616936487db to your computer and use it in GitHub Desktop.
factory.json clone theia run theia
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"v": "4.0", | |
"name": "theia", | |
"workspace": { | |
"environments": { | |
"default": { | |
"machines": { | |
"theia": { | |
"attributes": { | |
"memoryLimitBytes": "1073741824" | |
}, | |
"servers": { | |
"theia": { | |
"attributes": { | |
"type": "ide" | |
}, | |
"port": "3000", | |
"protocol": "http" | |
} | |
}, | |
"volumes": { | |
"projects": { | |
"path": "/projects" | |
}, | |
"theia": { | |
"path": "/home/theia" | |
} | |
}, | |
"installers": [ | |
"org.eclipse.che.ws-agent" | |
], | |
"env": { | |
"THEIA_PLUGINS": "che-theia-factory-frontend-extension:https://github.com/eclipse/che-theia-factory-extension.git" | |
} | |
}, | |
"dev-machine": { | |
"attributes": { | |
"memoryLimitBytes": "2147483648" | |
}, | |
"servers": { | |
"theia-dev": { | |
"attributes": {}, | |
"port": "3030", | |
"protocol": "http" | |
} | |
}, | |
"volumes": { | |
"projects": { | |
"path": "/projects" | |
} | |
}, | |
"installers": [], | |
"env": {} | |
} | |
}, | |
"recipe": { | |
"type": "compose", | |
"content": "services:\n theia:\n image: 'aandrienko/che-theia:0.3.10'\n mem_limit: 1073741824\n dev-machine:\n image: 'eclipse/che-dev:nightly'\n mem_limit: 2147483648\n depends_on:\n - theia\n", | |
"contentType": "application/x-yaml" | |
} | |
} | |
}, | |
"defaultEnv": "default", | |
"projects": [ | |
{ | |
"links": [], | |
"name": "theia", | |
"attributes": { | |
"contribute_to_branch": [ | |
"master" | |
] | |
}, | |
"type": "blank", | |
"source": { | |
"location": "https://github.com/theia-ide/theia.git", | |
"type": "git", | |
"parameters": { | |
"branch": "master" | |
} | |
}, | |
"path": "/theia", | |
"problems": [], | |
"mixins": [ | |
"pullrequest" | |
] | |
} | |
], | |
"name": "theia", | |
"commands": [], | |
"links": [] | |
}, | |
"id": "factory3zsxxlbszhetby8t", | |
"creator": { | |
"name": "che", | |
"created": 1520614751590, | |
"email": "[email protected]", | |
"userId": "che" | |
} | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment