You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+3-72Lines changed: 3 additions & 72 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -41,9 +41,7 @@ Frontend Webjars & WebIDE Backend use **maven3** and **java8**.
41
41
Please ensure you have corresponding tools installed in your environment before build and run the project.
42
42
43
43
44
-
## Build and run
45
-
46
-
### Clone the repo
44
+
## Native Server
47
45
48
46
Clone from coding.net:
49
47
```
@@ -62,77 +60,10 @@ git submodule update
62
60
```
63
61
This will also clone the other 3 repos via git submodule mechanism.
64
62
63
+
## Docker Server
65
64
66
-
### Run on a normal host
67
-
68
-
We provide a shell script `ide.sh` to ease the process for you.
69
-
70
-
```
71
-
./ide.sh build # transpile and pack the frontend to webjars
72
-
./ide.sh run # start the backend server
73
-
```
74
-
Server runs on port 8080 by default, visit localhost:8080 to check it out.
75
-
76
-
77
-
### Run in a docker container
78
-
79
-
We've provides a docker image on docker hub: [webide](https://hub.docker.com/r/webide/webide/). Pull it and create a container, then run with command:
80
-
```
81
-
./ide.sh docker run
82
65
```
83
-
84
-
#### Using `ide.sh`
85
-
86
-
If you make changes on source code, you can recompile and run with commands:
87
-
```
88
-
./ide.sh docker build
89
-
./ide.sh docker run
90
-
```
91
-
92
-
Listed below are all docker related command in `ide.sh`
93
-
```
94
-
./ide.sh docker build # create docker image
95
-
./ide.sh docker run # create and start a container
96
-
./ide.sh docker stop # stop container
97
-
./ide.sh docker attach # attach container(use control-c to exit)
98
-
./ide.sh docker logs # check container's logs
99
-
./ide.sh docker exec # create a new Bash session in the container
100
-
./ide.sh docker remove # remove container
101
-
```
102
-
103
-
#### Using `docker` CLI
104
-
105
-
If you encounter any problem using `ide.sh`, try get around it using docker CLI directly.
106
-
107
-
##### Run
108
-
109
-
If app state persistency is not important to you (that is, app data will be gone when container get deleted), simply run this one-liner:
110
-
```
111
-
docker run -p 8080:8080 --name webide webide/webide
112
-
```
113
-
114
-
Howerver, if you want to persist app state, you need to make sure `$HOME/.coding-ide-home` directories exist. If not, you need to **manually create them**, then run:
docker run -p 8080:8080 --name webide webide/webide
123
67
```
124
68
125
-
Listed below are other frequently used docker commands
126
-
```
127
-
# stop container
128
-
docker stop webide
129
-
130
-
# attach container
131
-
docker attach --sig-proxy=false webide
132
-
133
-
# check container's logs
134
-
docker logs webide
135
-
136
-
# create a new Bash session in the container
137
-
docker exec -it webide bash
138
-
```
69
+
To learn more about docker commands,please refer to wiki [English](https://github.com/Coding/WebIDE/wiki/Docker-Server.en)[中文](https://github.com/Coding/WebIDE/wiki/Docker-Server.zh)
0 commit comments