Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Native Server.en

Hehe Tan edited this page Sep 23, 2016 · 1 revision

Run on a normal host

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.

Clone this wiki locally

AltStyle によって変換されたページ (->オリジナル) /