<div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br>
If the system reboots just run<br>
<br>
apt-get update<br>
<br>
apt-get dist-upgrade<br>
<br>
You may have to do this a couple of times.  I had to do this on one<br>
machine and everything appears to be OK.<br>
<br>
Good Luck!<br>
<br>
SteVe<br>
</blockquote></div><br>SteVe,<br>tx for quick response: saved my day !<br><br>I just did what you proposed, but downloads were very slow. I ssh-ed and could do ssh -X machine so I could choose a repo server closer to home. I could even do in Synaptic some updates.<br>
<br>Last step was to repeat the steps you mentioned, and now the machine is happily updating.<br><br>Hopefully this will be the last round.<br><br>tx again<br><br>erik<br>