要修改一个文件夹的名字，可以采用的方法是（　）。