Convert Extension from Uppercase to Lowercase
Hi
I have several fonts in ~/.fonts directory. Some of these fonts' extension are in uppercase and some are in lowercase, like: Code:
font1.TTF font2.Ttf Font3.tTF Code:
font1.ttf font2.ttf Font3.ttf Kindly guide me that how can I do it with single command? Thanks |
a little bash script or one liner, depending on how you write it up.
Code:
|
Code:
for i in ~/.fonts/*;do or drop the echo ( and drop the \s ) |
Code:
fonts=(font1.TTF font2.Ttf Font3.tTF font4.ttf FONT5.ttF) |
^ all these will probably work.
Question is, why do you (think you) need this? |
oh, wait you wanted a single command ;)
Code:
EXT2ext() { Code:
. ~/.bash_extras note the leading . ( short for source ) |
Thanks everyone. Each of these was working, however, I used following:
Code:
#!/usr/bin/env bash |
After this change, do I need to regenerate fonts cache?
|
well the filenames will be different.
so probably It could be automagic |
Quote:
|
All times are GMT -5. The time now is 05:13 AM. |