
The array elements here are individual arguments to exec, not a string to pass to the shell; this only appeared to work. In reality, `opam list` accepts "|" as valid argument, and the command works fine without grepping the output.
The array elements here are individual arguments to exec, not a string to pass to the shell; this only appeared to work. In reality, `opam list` accepts "|" as valid argument, and the command works fine without grepping the output.