我将本地的工作空间workspace删除后，在p4上新建同样名字的workspace,显示重名，不能建，I felt very angry。进行如下操作，缓解一下。1、点击窗口view2、选择workspace.3、操作右边窗口，过滤出自己要删除的工作空间（服务器端名称），选择右击delete.4、现在就可以在自己电脑上new workspace,但是p4下拉列表中还有，还是有点不爽。...

上篇博客按照古老师书上说的已经完成跑通谷歌的demo,这一节我将使用A2雷达建立地图，参考了文章：https://blog.csdn.net/u014662384/article/details/103332901?utm_medium=distribute.pc_relevant_t0.none-task-blog-BlogCommendFromMachineLearnPai2-1.channe

CancelGoalListen.py#!/usr/bin/env python# encoding: utf-8# 如果觉得不错，可以推荐给你的朋友！http://tool.lu/pycimport rospyimport actionlibfrom actionlib_msgs.msg import *from geometry_msgs.msg import Pose, Poi...

#!/usr/bin/env python# encoding: utf-8# 如果觉得不错，可以推荐给你的朋友！http://tool.lu/pycfrom visualization_msgs.msg import Markerfrom visualization_msgs.msg import MarkerArrayimport rospyimport mathfrom g...

Ubuntu系统修改主机名和用户名如果无法进入UBUNTU桌面,进入命令行界面方法如何修改主机名和用户名，参考1. 首先更改主机名字————改为bbb：(1) 修改hostname文件(2) 修改hosts文件2.更改用户名————改为ccc(1) 修改sudoer文件(2) 修改shadow 文件(3) 修改开始目录(4) 修改passwd 文件(5) 如果我们还想修改原来用户下文件所属的组：(