Re: junk files

[Tatoku Ogaito <tacha@trap.fukui-med.ac.jp>]

>> On Fri, 08 Dec 2000 10:43:21 +0900 (JST)
 Yuji Yamano <yyamano@kt.rim.or.jp> wrote:

 > Tatoku Ogaito <tacha@trap.fukui-med.ac.jp> writes:
 > 
 > > 自分のホームディレクトリにコピーして消したつもりが
 > > 間違いないと思って index.html,v のファイルを消してしまったみたいです。
 > 
 > こういうオペレーションミスで作成されたファイルは、単に cvs remove する
 > だけでなく、リポジトリーから削除してしまったほうがいいでしょうか?

以前に、ゴミをインポートしてしまったものは、そのまんま
残しています。今回は index.html というディレクトリを
作ってしまったので、checkout しようとすると index.html という
ファイルとディレクトリが出来てしまうことになり、破綻してしまうと
思ったので rm しようとしました。rm するのではなく、間違って
import したディレクトリの名前を変えるだけにして置くべきだったと
思います。pigu にコピーされるか、誰かが co する前に戻しておかないとと
いうあせりがあったので、こんなことになってしまいました。

Tacha