This seems to have caused occasional weird
side-effects on the following line:
edo curl https://raw.githubusercontent.com/haskell/ghcup/master/ghcup > "${HOME}"/.ghcup/bin/ghcup
...
edo ghcup install
It would result in:
~/.ghcup/bin/ghcup: line 1: $'\E[0': command not found
~/.ghcup/bin/ghcup: line 1: 35mcurl: command not found
which seems to be because of printf and the piping command.
It's not entirely clear to me what happens here, but it
seems part of the printf output to stdout where mixed
with the next command.
