On Sunday, February 11, 2024 7:35:35 AM CST Masahiro Yamada wrote: > > The separate 'set -e' statement works for both cases, > so I think this is safer, though it is kind of bike-shedding. Thanks! I also think it is safer to use 'set -e' in the case of 'sh install.sh', so I support not to use 'sh -e' in the shebang line. The planned V2 patch for this disappeared. -- Zhang Bingwu @ Sun Feb 11 10:27:48 AM UTC 2024
