Re: Uninstall Nim and Tools

[jrb]

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...?