equal
deleted
inserted
replaced
3 >>> ls() |
3 >>> ls() |
4 <list of directory content> |
4 <list of directory content> |
5 >>> ren('A01','A03') |
5 >>> ren('A01','A03') |
6 rename A010-joe.en.txt to A030-joe.en.txt |
6 rename A010-joe.en.txt to A030-joe.en.txt |
7 accept [y/N]? |
7 accept [y/N]? |
|
8 :license: GNU Lesser General Public License, v2.1 - http://www.gnu.org/licenses |
8 """ |
9 """ |
9 |
10 |
10 def ren(a,b): |
11 def ren(a,b): |
11 names = glob.glob('%s*'%a) |
12 names = glob.glob('%s*'%a) |
12 for name in names : |
13 for name in names : |