rename directories

With this one you can rename directories. Their names are stored in a1.txt (one per line). If you want to change the names of hundred directories, then such a script makes sense.