We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
其实这个文件是个js脚本,内容见截图下面的terminal
还有就是因为docker部署用的是alpine镜像,很多命令用着不舒服所以我是直接跑的服务,然后发现terminal启动特别慢,刷新后第一次打开terminal要等两三分钟的时间才显示,显示第一个后再开新的就很快了
The text was updated successfully, but these errors were encountered:
@bangbang93 活捉大佬
Sorry, something went wrong.
@bangbang93 第一次打开 terminal 时间过长的 bug 已经修复了,参见:https://github.com/Coding/WebIDE-Frontend/pull/215/files
拉取最新的 docker 镜像即可
fixed
No branches or pull requests
其实这个文件是个js脚本,内容见截图下面的terminal
还有就是因为docker部署用的是alpine镜像,很多命令用着不舒服所以我是直接跑的服务,然后发现terminal启动特别慢,刷新后第一次打开terminal要等两三分钟的时间才显示,显示第一个后再开新的就很快了
The text was updated successfully, but these errors were encountered: