Re: Uninstall Nim and Tools
The third time the same sad story!
Uninstall Nim and Tools
Without noticing it I had installed nim using curl https://.../choosenim/init... as root on ubuntu18.04. Now fails the installation as normal user. How can I correct this error?
Re: Uninstall Nim and Tools
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)