git配置github代理
在终端中运行以下命令，将代理设置为您的代理服务器地址和端口号： git config --global http.http://github.com.proxy '{http/socks5}://{y...
标签： 教程
docker及compose的安装
安装docker # 一键安装脚本 sudo curl -fsSL https://get.docker.com | sh # 安装后检查是否安装成功，出现版本号说明成功了 docker -v 安...
仿真救援模拟器手册
1.目的 该手册有助于了解机器人世界杯救援模拟服务器，并帮助有兴趣参加机器人世界杯救援代理模拟比赛的人。 2.安装 本手册假定代理将在 Linux 机器中运行，即使它们可以在 Microsoft Wi...
ADF框架开发教程
1.目的 该教程说明如何安装和执行 RoboCup 救援模拟代理开发框架 (ADF) 示例代理，以及如何使用 ADF 示例代理实现新的代理团队 2.安装 本手册假定代理将在 Linux 机器中运行，即...
aaa