Skip to content

Pull requests: coding/WebIDE

New pull request New
Clear current search query, filters, and sorts
2 Open 13 Closed
2 Open 13 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

修复了 terminal 里 无法 git pull
#217 by vangie was merged Jul 18, 2017 Loading… v0.13.1
1
Add config file to let users modify config easily. enhancement
#85 by summershrimp was merged Nov 28, 2016 Loading… v0.5.0
@tanhe123
3
update_ide_run_command
#69 by tanhe123 was merged Nov 14, 2016 Loading…
1
Modify docker related configs, add zsh, change IDE_HOME, add hostname
#60 by summershrimp was merged Nov 2, 2016 Loading… v0.4.0
@tanhe123
4
Automated Builds on Docker Hub
#54 by tanhe123 was merged Oct 17, 2016 Loading…
1
update readme
#37 by tanhe123 was merged Oct 10, 2016 Loading…
2
ide.sh run command support port param
#36 by tanhe123 was merged Oct 8, 2016 Loading…
@vangie
clean mvn and npm generated files
#30 by tanhe123 was merged Sep 26, 2016 Loading…
1
enhance docker support
#22 by tanhe123 was merged Sep 23, 2016 Loading… v0.1.0
8
add docker support
#17 by tanhe123 was merged Sep 19, 2016 Loading…
5
add live demo link to readme
#11 by vangie was merged Sep 14, 2016 Loading…
@tvvocold @hackape
1
update readme
#9 by hackape was merged Sep 14, 2016 Loading…
1
Update README
#8 by vangie was closed Sep 14, 2016 Loading…
2
ProTip! Updated in the last three days: updated:>2025-06-24.