2014-05-02 23:52:52 +02:00
|
|
|
import os
|
|
|
|
|
import glob
|
|
|
|
|
|
|
|
|
|
os.chdir("/Users/mikeherman/repos/bugs/se-platform/se/core/permissions")
|
|
|
|
|
for file in glob.glob("*.json"):
|
|
|
|
|
file_name = os.path.splitext(file)[0]
|
|
|
|
|
extension = os.path.splitext(file)[1]
|
|
|
|
|
new_file_name = file_name[:-6] + extension
|
|
|
|
|
try:
|
|
|
|
|
os.rename(file, new_file_name)
|
2015-05-17 11:49:35 +02:00
|
|
|
except OSError as e:
|
|
|
|
|
print(e)
|
2014-05-02 23:52:52 +02:00
|
|
|
else:
|
2015-05-17 11:49:35 +02:00
|
|
|
print("Renamed {} to {}".format(file, new_file_name))
|
