renameTo(File dest) 怎么移动文件到dest表示的路径下

写了个简单的测试程序测试是否可以移动一个文件hello.sh到文件夹workshop：

import java.io.*;
import java.util.*;

public class Renamer{
    public static void main(String[] args) {
        File file=new File("/Users/xietiany/Desktop/hello.sh");
        System.out.println("hello.sh exists?"+file.exists());
        File workshop=new File("/Users/xietiany/Desktop/workshop/");
        System.out.println("workshop exists?"+workshop.exists());
        System.out.println(file.renameTo(workshop));
    }
}

环境：mac，linux