Coding WebIDE(https://ide.coding.net) is a cloud-based IDE developed by Coding Team.You can create your own workspace and develop projects here.WebIDE works fine with Git. You can use Coding、GitHub、BitBucket、GitLab as your Git repository. Workspaces are powered by Docker Ubuntu containers.The development environment can be saved and shared to your team member.
Please submit issues to corresponding projects, that'll help us make issues tracking easier so that we can provide timely help to you. Submit frontend issues at WebIDE-Frontend and backend issues at WebIDE-Backend.
- Built-In Terminal
- Syntax Highlighting
- Language Tools
- Themes
- Split View
- VIM/Emacs Mode
- Previews
This is the entry point to setup and run the WebIDE Community Edition project. It includes other 3 repos as git submodules.
- WebIDE-Frontend contains frontend code.
- WebIDE-Frontend-Webjars packs frontend to webjar.
- WebIDE-Backend contains backend code.
WebIDE Frontend uses npm for package management, webpack and babel for building. Frontend Webjars & WebIDE Backend use maven3 and java8.
Please ensure you have corresponding tools installed in your environment before build and run the project.
Clone from coding.net:
git clone git@git.coding.net:coding/WebIDE.git
Clone from github.com:
git clone git@github.com:Coding/WebIDE.git
Init and pull submodules:
git submodule init
git submodule update
This will also clone the other 3 repos via git submodule mechanism.
We provide a shell script ide.sh
to ease the process for you.
./ide.sh build # transpile and pack the frontend to webjars
./ide.sh run # start the backend server
Server runs on port 8080 by default, visit localhost:8080 to check it out.
backend/src/main/resources/application.properties
contains configurations of user, project, database, etc., you can change these parameters to meet your need:
- SPACE_HOME: path to your workspace directory, default to
${"user.home"}/.workspace
- server.port: backend server port
- USERNAME: username, used by git as its
user.name
config when commit, defaults to "coding" - EMAIL: email, used by git as its
user.email
config when commit, defaults to "coding@coding.net" - AVATAR: user's avatar
- CODING_IDE_HOME: path to store WebIDE application's data
If changed, restart the application to let your configurations take effect. Note that changes on USERNAME
, EMAIL
WILL NOT apply to workspaces that are already created.
docker run -p 8080:8080 --name webide webide/webide
To learn more about docker commands,please refer to wiki English 中文