This is curl failing. So you might need to diagnose whether there is something
wrong with it.
Not a network hiccup by the look of it. I can reproduce the problem. choosenim
works fine as root, but not as a non-root user. Something funky going on with
installed on Ubuntu...?
The third time the same sad story!
Try again, seems like a network hiccup.
Have deleted the directories. But, during the reinstallation:
stefan@Spaceranger:~$ curl
[https://nim-lang.org/choosenim/init.sh](https://nim-lang.org/choosenim/init.sh)
-sSf | sh choosenim-init: Downloading choosenim-0.3.2_linux_amd64 curl: (23)
Failed writing body (0 != 16360)
