On Mon, Jul 17, 2023 at 12:13:24PM +0200, Arturo Borrero Gonzalez wrote: > Improve a bit the script as reported by shellcheck, also including > information about the log file. > > The log file, by the way, is added to the gitignore to reduce noise > in the git tree. Applied, thanks
