:
rm(ファイルの削除，ReMove)
:
コマンド
:
cp(ファイルのコピー，CoPy)
mv
(ファイル名の変更，MoVe)
ファイル名を変更するときには
mv
コマンドを使う．
mv
コマンドは，複製ではなく，もとのファイルが消去されていることに 注意しよう．そのため，ファイル名の変更に使う．
Yasushi KODAMA 平成12年6月4日
![\begin{itembox}[l]{{\tt mv} コマンド}
\begin{alltt}
\relax{} prompt% \underline{...
...
\\ ls: backup.txt: No such file or directory
\\ \relax \end{alltt}\end{itembox}](img19.gif)