Re: those #*.*# files

1999-01-13 Thread Jean-Marc Lasgouttes
"Larry" == Larry S Marso [EMAIL PROTECTED] writes: Larry Maybe we should put in the manual somewhere that, in order to Larry erase those "#*.*#" emergency/backup files, you need to do Larry something like: Larry rm \#*.*\# ^ ^ on most UNIX boxes. It might not be obvious to Larry all command

Re: those "#*.*#" files

1999-01-13 Thread Jean-Marc Lasgouttes
> "Larry" == Larry S Marso <[EMAIL PROTECTED]> writes: Larry> Maybe we should put in the manual somewhere that, in order to Larry> erase those "#*.*#" emergency/backup files, you need to do Larry> something like: Larry> rm \#*.*\# ^ ^ on most UNIX boxes. It might not be obvious to Larry>

those #*.*# files

1999-01-12 Thread Larry S. Marso
Maybe we should put in the manual somewhere that, in order to erase those "#*.*#" emergency/backup files, you need to do something like: rm \#*.*\# ^^ on most UNIX boxes. It might not be obvious to all command line users. Best regards -- Larry S. Marso [EMAIL PROTECTED]

those "#*.*#" files

1999-01-12 Thread Larry S. Marso
Maybe we should put in the manual somewhere that, in order to erase those "#*.*#" emergency/backup files, you need to do something like: rm \#*.*\# ^^ on most UNIX boxes. It might not be obvious to all command line users. Best regards -- Larry S. Marso [EMAIL PROTECTED]