📄 rm.java
字号:
// JShell
// Copyright (C) 2000 Jack A. Orenstein
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License as
// published by the Free Software Foundation; either version 2 of
// the License, or (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
// General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
// 02111-1307, USA.
//
// Jack A. Orenstein jao@mediaone.net
package jshell.command;
import java.io.*;
import java.util.*;
import jshell.*;
import jshell.util.*;
// Break ties
import jshell.File; // Instead of java.io.File
public class rm extends Command
{
public void execute(String[] args)
throws IOException
{
process_args(args);
remove_files(_files_to_remove);
}
public void usage()
{
out().println("rm ["+flag("R")+"] file ...");
out().println(" Removes the specified files. Directories are not\n"+
" removed unless the directory is empty, or the R\n"+
" (recursive) flag is specified.");
}
private void process_args(String[] args)
{
_files_to_remove = new Vector();
for (int i = 0; i < args.length; i++)
{
String arg = args[i];
if (isFlag(arg))
process_flag(arg);
else
_files_to_remove.addElement(File.create(arg));
}
}
private void remove_files(Vector files)
throws IOException
{
for (Enumeration file_scan = files.elements();
file_scan.hasMoreElements();)
{
File file = (File) file_scan.nextElement();
if (file.exists())
remove_file(file);
}
}
private void remove_file(File file)
throws IOException
{
if (file.isDirectory())
{
String[] file_names = file.list();
if (_recursive)
{
String directory_name = file.getCanonicalPath();
Vector directory_contents = new Vector();
for (int i = 0; i < file_names.length; i++)
{
String file_name = file_names[i];
File file_in_directory =
File.create(directory_name, file_name);
directory_contents.addElement
(file_in_directory);
}
remove_files(directory_contents);
file.delete();
}
else
{
if (file_names.length == 0)
file.delete();
else
throw new JShellException
(file.getCanonicalPath()+" is not "+
"empty. It cannot be deleted without "+
"the R (recursive) flag, or until "+
"it is empty.");
}
}
else
file.delete();
}
private void process_flag(String arg)
{
if (arg.charAt(1) == 'R')
_recursive = true;
else
throw new JShellException
("Unrecognized flag to rm: "+arg);
}
private Vector _files_to_remove;
private boolean _recursive = false;
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -