要想把某个文件目录下的文件移动到另一个文件目录下，首先需要进入到要移动文件的目录文件夹下，再使用命令：mv <要移动文件名> 目标文件目录名/
例如要移动ws文件夹里的a文件到devel文件夹里，可以这样输入命令：
$ cd ws
$ mv a devel/
然后cd devel 进入到devel文件夹下看见a文件在里面。