Thank you. You mean it is better to make a normal install with the command
apt-get install nim ? My Linux computer is a offline computer. Have to make it online in the next weeks. I try further the offline installation a while. Then swiitsch to the official Online installation procedure. Thank you for your help. Regards Menno
