我有许多扩展名的文件*.launch
分布在父目录内的不同文件夹中,文件的层次结构并不总是相同的.launch
。即:src/folder/sth.launch
和src/folder2/../../another.launch
,所以这个解决方案在这里不起作用!
如何使用 Linux 命令在不同文件夹和级别的所有这些文件中将一个字符串替换为xarco.py
另一个字符串?提前致谢。xarco
*launch
我有许多扩展名的文件*.launch
分布在父目录内的不同文件夹中,文件的层次结构并不总是相同的.launch
。即:src/folder/sth.launch
和src/folder2/../../another.launch
,所以这个解决方案在这里不起作用!
如何使用 Linux 命令在不同文件夹和级别的所有这些文件中将一个字符串替换为xarco.py
另一个字符串?提前致谢。xarco
*launch
在父目录中时,您可以尝试使用以下命令,
如果它“看起来不错”,请移除
echo
以完成真正的工作,如果权限有问题,您可能需要前缀
sudo
: