Yep, that one character made all the difference. :)
This time I was prompted that 144 MB would be freed. Still more than I had
expected (I mean, this is X times the download size of the new kernel), but
this time everything worked out fine.
> " the operating system is called GNU"
Yes, I was academically aware of that. I named it linux in the way that the
colloquial language has adopted to call any operating system with a linux
kernel. But I will make sure to endorse the words GNU operating system in the
future! :-)
