文件名称：cora-eclipse：使用Eclipse和Docker的Cora开发环境
文件大小：433KB
文件格式：ZIP
更新时间：2024-03-04 16:22:18
Shell
蚀蚀 Cora-eclipse是一个项目，可使用Eclipse和Docker轻松设置用于Cora开发的Eclipse安装。 我在Linux上运行它，因此，请根据需要更改其他平台。 在你开始之前 确保在本地计算机上设置了git和docker 在要安装所有内容的目录下创建目录/ x / y / z / cora（/ mnt / depot / cora） cd到您的新目录 克隆此存储库： git clone https://github.com/olovm/cora-eclipse.git 安装，运行全部 runAll脚本将带您完成为Cora设置基于docker的开发环境的整个过程。 它将经历所有需要的步骤。 您可以通过运行获取您的Docker组ID。 getent group docker 跑： ./cora-eclipse/runAll.sh dockerGroupId 或运行： .