diff options
| author | Hugo Herbelin | 2020-02-23 13:51:36 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-03-15 08:30:40 +0100 |
| commit | 4b694f8a641344875b9076670bc8009476fba4aa (patch) | |
| tree | dcdfe889c1287df5b66bfa761ef9403f0413fcf9 /doc/stdlib | |
| parent | 1f984236f4bdc441b80f19bcc32424a45d8168f3 (diff) | |
Adding a function to encode/decode string list into a single string.
This encodes/decodes a list of string into a string in a way
compatible with shell interpretation. On the contrary of
Filename.quote which is for computer consumption, it introduces quotes
for human consumption.
The strategy is to split each string into substrings separated by
simple quotes. Each substring is surrounted by single quotes if it
contains a space. Otherwise, each backslash in the substring is
doubled. The substrings are concatenated separated by
backslash-protected single quote. The strings are then concatenated
separated with spaces. The decoding is shell-like in the sense that it
follows the rules of single quote, backslash and space.
Diffstat (limited to 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions
