<div dir="ltr"><div dir="ltr">On Thu, May 21, 2020 at 3:50 PM Kevin <<a href="mailto:wrham@eastlink.ca">wrham@eastlink.ca</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
* sudo apt full-upgrade would upgrade to 19.10 or 20.04.<br>
Neither is a practical solution.<br>
<br></blockquote><div>For the record,</div><div><br></div><div>sudo apt full-upgrade </div><div><br></div><div>does NOT upgrade to a new Ubuntu release -- it merely tells apt it has permission to remove packages it deems necessary to complete an upgrade. Sometimes outdated packages have to be removed in order to successfully install other new ones.</div><div><br></div></div></div>