I am having a problem upgrading to 19.04 from 18.10 using the GUI. What commands do I need to run in a terminal to upgrade the system? -- Robert Blair If you think health care is expensive now, wait until you see what it costs when it's free! -- P.J. O'Rourke