Am Dienstag, 20. Februar 2018, 17:30:10 CET schrieb Masahiro Yamada: > > That way the conf tool will sanitize the .config before shell scripts will > > source it. > > This approach seems better.
Okay, let's go for it. :) I went first for the ugly bash approach because it is a white list and not a black list filter. Thanks, //richard