2014-04-11 00:02:10 +01:00
|
|
|
# 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
|
2014-04-16 11:45:52 +01:00
|
|
|
# Except auto-detect doesn't work because the file has been passed
|
|
|
|
# through Python text processing, which makes all EOL a \n
|
|
|
|
line_end = '\\r\\n'
|
2014-04-11 00:02:10 +01:00
|
|
|
|
|
|
|
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))
|