This repository was archived by the owner on Mar 23, 2022. It is now read-only.
File tree Expand file tree Collapse file tree 6 files changed +175
-0
lines changed
Expand file tree Collapse file tree 6 files changed +175
-0
lines changed Original file line number Diff line number Diff line change 1+ * .tar.gz
2+ * .iml
3+ .idea /
Original file line number Diff line number Diff line change 1+ sudo : required
2+ language : node_js
3+ node_js : ' 9'
4+ git :
5+ depth : 1
6+ cache :
7+ yarn : true
8+ branches :
9+ only :
10+ - master
11+ install : ./build.sh
12+ script : ./build.sh
13+ jobs :
14+ fast_finish : true
15+ include :
16+ - stage : deploy
17+ os : linux
18+ deploy :
19+ - provider : releases
20+ api-key : $GITHUB_AUTH_TOKEN
21+ name : che-editor-$(date +'%F-%T')
22+ file_glob : true
23+ file : ./*.tar.gz
24+ skip_cleanup : true
25+ on :
26+ branch : master
Original file line number Diff line number Diff line change 1+ ### Theia Che Editor
2+
3+ Bringing new Che Editor definition for Eclipse Che GWT IDE
4+
5+ Result is a .tar.gz file
6+
7+ ### Building
8+
9+ ` build.sh ` script can create the Che plug-in file.
10+
11+ ### Using
12+
13+ In Releases section, https://github.com/eclipse/che-editor-gwt-ide/releases , a new Che plug-in is published for each commit occurring into master.
14+
15+ ### CI job
16+ Che plug-in is managed by a Travis-CI job
17+ --> https://travis-ci.org/eclipse/che-editor-gwt-idea/builds
Original file line number Diff line number Diff line change 1+ #! /bin/sh
2+ set -e
3+ set -u
4+
5+ if [ -f ./build/che-editor-plugin.tar.gz ]; then
6+ rm -rf ./build
7+ fi
8+
9+ cd etc
10+ mkdir -p ../build
11+ tar zcf ../build/che-editor-plugin.tar.gz .
12+
Original file line number Diff line number Diff line change 1+ version : 1.0.0
2+ type : Che Editor
3+ name : gwt-ide
4+ id : org.eclipse.che.editor.gwt
5+ title : Eclipse GWT IDE for Eclipse Che
6+ Description : Eclipse GWT IDE
7+ Icon : https://pbs.twimg.com/profile_images/929088242456190976/xjkS2L-0_400x400.jpg
8+ endpoints :
9+ - name : " che-gwt-ide-and-master"
10+ public : true
11+ targetPort : 8085
12+ attributes :
13+ protocol : http
14+ type : ide
15+ discoverable : false
16+ path : gwt/ide/sidecar/entrypoint
17+ secure : true
18+ cookiesAuthEnabled : true
19+ - name : " wsagent/http"
20+ public : true
21+ targetPort : 8087
22+ attributes :
23+ protocol : http
24+ path : api
25+ discoverable : false
26+ secure : true
27+ cookiesAuthEnabled : true
28+ - name : " wsagent/ws"
29+ public : true
30+ targetPort : 8087
31+ attributes :
32+ protocol : ws
33+ path : wsagent
34+ discoverable : false
35+ secure : true
36+ cookiesAuthEnabled : true
37+ - name : " exec-agent/http"
38+ public : true
39+ targetPort : 4412
40+ attributes :
41+ protocol : http
42+ path : process
43+ discoverable : false
44+ secure : true
45+ cookiesAuthEnabled : true
46+ - name : " exec-agent/ws"
47+ public : true
48+ targetPort : 4412
49+ attributes :
50+ protocol : ws
51+ path : connect
52+ discoverable : false
53+ secure : true
54+ cookiesAuthEnabled : true
55+ - name : " terminal"
56+ public : true
57+ targetPort : 4411
58+ attributes :
59+ protocol : ws
60+ path : pty
61+ discoverable : false
62+ secure : true
63+ cookiesAuthEnabled : true
64+ containers :
65+ - name : che-editor-gwt-ide
66+ image : eclipse/che-editor-gwt-ide:nightly
67+ env :
68+ - name : SERVER_PORT
69+ value : 8080
70+ volumes :
71+ - mountPath : " /plugins"
72+ name : plugins
73+ - mountPath : " /projects"
74+ name : projects
75+ ports :
76+ - exposedPort : 8085
77+ - exposedPort : 8087
78+ - exposedPort : 4411
79+ - exposedPort : 4412
80+ memory-limit : " 512M"
Original file line number Diff line number Diff line change 1+ #! /bin/sh
2+ set -e
3+ set -u
4+
5+
6+
7+ ./build.sh
8+
9+ version=che-editor-gwt-ide-$( date +' %F_%k%M-%S' )
10+ git tag $version
11+ git push --tags
12+ text=" Release of Che Editor Gwt IDE"
13+ branch=master
14+ repo_full_name=eclipse/che-editor-gwt-ide
15+ token=$GITHUB_RELEASE_TOKEN
16+ generate_post_data ()
17+ {
18+ cat << EOF
19+ {
20+ "tag_name": "$version ",
21+ "target_commitish": "master",
22+ "name": "$version ",
23+ "body": "Description of the release",
24+ "draft": false,
25+ "prerelease": false
26+ }
27+ EOF
28+ }
29+
30+ echo " Create release $version for repo: $repo_full_name branch: $branch "
31+ rel_id=$( curl -s --data " $( generate_post_data) " " https://api.github.com/repos/$repo_full_name /releases?access_token=$token " | jq -r .id)
32+ echo " Uploading file build/che-editor-plugin.tar.gz"
33+ download_ulr=$( curl -s -X POST " https://uploads.github.com/repos/$repo_full_name /releases/${rel_id} /assets?name=che-editor-plugin.tar.gz&access_token=$token " \
34+ --header ' Content-Type: text/javascript ' --upload-file build/che-editor-plugin.tar.gz | jq -r .browser_download_url)
35+ echo " Download url $download_ulr "
36+
37+ rm build/che-editor-plugin.tar.gz
You can’t perform that action at this time.
0 commit comments