/**
* 打开磁盘目录”
*
* "Explorer /root , /select,"表示直接打开这个文件
* "Explorer /n , /select," 表示打开并选中这个文件;若此文件夹已被打开,则复制打开一个新窗口,再选中
* "Explorer /, /select,"表示:同/n,但它会打开“左边导航的文件夹”
* "Explorer.exe /select," 下面方法使用的,表示:打开选中此文件;若文件打开,则也许不会选中此文件
* @throws CoreException
*/
private void openDirectory(String path)
throws CoreException {
try {
//this will set [d:/aa] to [d:\\aa]
String cmd = "Explorer.exe /select," + path.replaceAll("/", "\\\\");
Runtime.getRuntime().exec(cmd);
} catch (IOException e) {
e.printStackTrace();
}
}