On Tue, 2024-12-31 at 07:25 +0000, Gaël Bonithon wrote: > As advised in another reply, maybe you should use a script in a > separate file instead, it avoids all these issues. I forgot to mention that a script in a file needs to be executable: chmod a+x /path/to/file.sh