223 |
223 |
224 @param src source file name (string) |
224 @param src source file name (string) |
225 @param dst destination file name (string) |
225 @param dst destination file name (string) |
226 @param marker marker to be used (string) |
226 @param marker marker to be used (string) |
227 """ |
227 """ |
228 f = open(src, "r") |
228 if sys.version_info[0] == 2: |
|
229 f = codecs.open(src, "r", "utf-8") |
|
230 else: |
|
231 f = open(src, "r") |
229 text = f.read() |
232 text = f.read() |
230 f.close() |
233 f.close() |
231 |
234 |
232 text = text.replace("@MARKER@", marker) |
235 text = text.replace("@MARKER@", marker) |
233 |
236 |
234 f = open(dst, "w") |
237 if sys.version_info[0] == 2: |
|
238 f = codecs.open(src, "w", "utf-8") |
|
239 else: |
|
240 f = open(dst, "w") |
235 f.write(text) |
241 f.write(text) |
236 f.close() |
242 f.close() |
237 os.chmod(dst, 0o644) |
243 os.chmod(dst, 0o644) |
238 |
244 |
239 |
245 |