On 5/20/05, THUFIR HAWAT <hawat.thufir@xxxxxxxxx> wrote: > this seems to be the briefest and most common solution. thanks for > the addition tip, snipped, for just changing files which begin with a > digit, which I will file away. very useful discussion here. how about different ways of renaming *.JPG files to *.jpg? (i.e. change to the file extension to lowercase while retaining the file name) -- Stand before it and there is no beginning. Follow it and there is no end. Stay with the ancient Tao, Move with the present.
