kopia lustrzana https://github.com/micropython/micropython
29 wiersze
994 B
Python
29 wiersze
994 B
Python
|
# Reads in a text file, and performs the necessary escapes so that it
|
||
|
# can be #included as a static string like:
|
||
|
# static const char string_from_textfile[] =
|
||
|
# #include "build/textfile.h"
|
||
|
# ;
|
||
|
# This script simply prints the escaped string straight to stdout
|
||
|
|
||
|
from __future__ import print_function
|
||
|
|
||
|
import sys
|
||
|
|
||
|
# Can either be set explicitly, or left blank to auto-detect
|
||
|
line_end = ''
|
||
|
|
||
|
if __name__ == "__main__":
|
||
|
filename = sys.argv[1]
|
||
|
for line in open(filename, 'r').readlines():
|
||
|
if not line_end:
|
||
|
for ending in ('\r\n', '\r', '\n'):
|
||
|
if line.endswith(ending):
|
||
|
line_end = ending.replace('\r', '\\r').replace('\n', '\\n')
|
||
|
break
|
||
|
if not line_end:
|
||
|
raise Exception("Couldn't auto-detect line-ending of %s" % filename)
|
||
|
line = line.rstrip('\r\n')
|
||
|
line = line.replace('\\', '\\\\')
|
||
|
line = line.replace('"', '\\"')
|
||
|
print('"%s%s"' % (line, line_end))
|