On 07.06.2020 12:19, Jonathan Perkin wrote:
* On 2020-06-07 at 07:05 BST, Roland Illig wrote: + echo "$$PATH" | tr : '\n'; \
* On 2020-06-07 at 07:05 BST, Roland Illig wrote:
+ echo "$$PATH" | tr : '\n'; \
Thanks. The commit message said that .tools/bin is in the PATH, and of course I needed to double-check that. :)