- From: Marc Becker <mbecker@uclink2.berkeley.edu>
- Date: Thu, 11 May 1995 00:18:59 -0700
- To: Multiple recipients of list <www-html@www10.w3.org>
>> At 11:22 27/4/1995 +0500, Alexander, Larry wrote: >> >I am currently creating HTML files on my PC. The file name extensions are >> >obviously filename.htm. When I ftp these over to my Sun workstation httpd >> >server, I would like the filenames to be filename.html. Does anyone know of Depending on what unix shell you are using, try either: #!/bin/sh chmod 644 *.htm for x in *.htm;do mv $x ${x}l done ==or: #!/bin/csh chmod 644 *.htm foreach x (*.htm) mv $x {$x}l end -- I place it in a file called htm in my bin directory. give the file execute permission (chmod 755 htm) and then I go to the directory with the files *.htm and type htm and like magic in converts all of the files to *.html and gives them global read permission at the same time. ================================== Marc Becker Current address: mbecker@uclink2.berkeley.edu Visiting Scholar Home address: marc@ukanaix.cc.ukans.edu Center for Latin American Studies UC-Berkeley Home page: http://falcon.cc.ukans.edu/~marc
Received on Thursday, 11 May 1995 03:19:21 UTC