So sprach Praedor Tempus am Fri, Dec 15, 2000 at 06:59:05PM -0700:
Someone once posted a simple script for changing upper case letters to lower
case, I believe, in this list. I didn't keep the message but I now have need
of this script. Could someone please post such a script?
echo HALLO
Thank you. A starting point, at any rate. I am not wanting to change a
single file from uppercase to lowercase, but actually want to change all the
filenames in a directory from uppercase to their corresponding lowercase
version (a directory full of fonts - PFBs and AFMs that need to be
Submitted 16-Dec-00 by Praedor Tempus:
Thank you. A starting point, at any rate. I am not wanting to change a
single file from uppercase to lowercase, but actually want to change all the
filenames in a directory from uppercase to their corresponding lowercase
version (a directory full of
praedor,
Someone once posted a simple script for changing upper case letters to lower
case, I believe, in this list. I didn't keep the message but I now have need
of this script. Could someone please post such a script?
Here's one post from the past...
--
Date: Sat, 19 Aug
Someone once posted a simple script for changing upper case letters to lower
case, I believe, in this list. I didn't keep the message but I now have need
of this script. Could someone please post such a script?
--
Against stupidity, the gods themselves contend in vain
---
praedor
Keep
Do yo need a script for this? it's one line code.
tr "[a-z]" "[A-Z]"
And use pipe to get input and output!
Original Message Follows
From: "Praedor Tempus" [EMAIL PROTECTED]
Reply-To: [EMAIL PROTECTED]
To: [EMAIL PROTECTED]
Subject: [expert] script to c
Submitted 15-Dec-00 by Praedor Tempus:
Someone once posted a simple script for changing upper case letters to lower
case, I believe, in this list. I didn't keep the message but I now have need
of this script. Could someone please post such a script?
I use the following function to