在linux系统上，如果想移动文件夹，应该如何操作。