&> /dev/null works as a redirection from stdout and stderr to /dev/null in Bash but not in POSIX shell (considered as an asynchronous execution and the result of the command command cannot be retrieved).
As a result, it always assumes that Docker always exists.
This commit makes the redirection robust and portable (uses >/dev/null 2>&1 instead, makes it possible to detect "no Docker" condition correctly).
This is a port of now merged riscv/docs-spec-template#14.
&> /dev/nullworks as a redirection fromstdoutandstderrto/dev/nullin Bash but not in POSIX shell (considered as an asynchronous execution and the result of thecommandcommand cannot be retrieved).As a result, it always assumes that Docker always exists.
This commit makes the redirection robust and portable (uses
>/dev/null 2>&1instead, makes it possible to detect "no Docker" condition correctly).This is a port of now merged riscv/docs-spec-template#14.