Escaping certain characters

[Jan Danielsson]

Robert Kern wrote:
[---]
>> Hmm... On second thought, I need to escape more characters.
>>
>> Is there no other way to escape characters in strings?
> 
> Which characters?

   I need to escape '\n', '"', '[' and ']'. I finally went with a few of
these:
string.replace('\n', '\\n')
string.replace('"', '\\"')
...

   I assume that's good enough, but I somehow expected there to exist
some form of "insert your conversion table here" built-in string escaper.