Skip to content
This repository has been archived by the owner on May 18, 2019. It is now read-only.

Fix the case sensitive renaming script. #2687

Closed
wants to merge 1 commit into from
Closed

Fix the case sensitive renaming script. #2687

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
2 changes: 1 addition & 1 deletion Examples/GenerateDoc.mos
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -499,7 +499,7 @@ def makeCaseSensitive():
print('Renaming file %s to %s' % (file,nfile))
if os.path.isfile(nfile):
raise Exception('File already exists: ' + nfile)
call(['sed','-i','s/%s/%s/' % (file,nfile)] + files)
call(['sed','-i','s/%s/%s/g' % (file,nfile)] + files)
os.rename(file,nfile)
return False
visited[upper] = file
Expand Down