diff options
Diffstat (limited to 'src/to_c_cmd.py')
| -rwxr-xr-x | src/to_c_cmd.py | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/to_c_cmd.py b/src/to_c_cmd.py deleted file mode 100755 index 52785f1..0000000 --- a/src/to_c_cmd.py +++ /dev/null @@ -1,8 +0,0 @@ -# place " at begin of each line -# escape existing '\' and '"' -# remove \n at the end of the line (sometimes the last line does not have a \n -# so we cannot do a replacement with some other text) -# place an escaped \n and " at the end of each line -import sys -for line in sys.stdin: - sys.stdout.write('"' + line.replace('\\','\\\\').replace('"','\\"').replace('\n','') + '\\n"\n') |