On Mai 11 2020, Masami Hiramatsu wrote: > To fix this issue, we explicitly use /bin/echo -E (not interpret > backslash escapes) if the command string can include backslash. Please use printf instead. Andreas. -- Andreas Schwab, schwab@xxxxxxxxxxxxxx GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."