<div dir="ltr"><div dir="ltr">Hi Colin,<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 1 Sept 2022 at 10:45, Colin Law <<a href="mailto:clanlaw@gmail.com">clanlaw@gmail.com</a>> wrote: <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
This is on Ubuntu 20.04 so maybe the default options are different to yours.<br></blockquote><br></div><div class="gmail_quote">Yes - I should have mentioned I'm using Ubuntu 22.04.1</div><div class="gmail_quote"><br></div><div class="gmail_quote">A day after  21.10 became obsolete I upgraded my miscellaneous projects system to 22.04. After using it for a while with no problems, I updated this (my main computer) to 22.04 as well.<br></div><div class="gmail_quote"><br></div><div class="gmail_quote">With R's computer, I waited for 22.04.1 to become available before upgrading his system.<br></div><div><br></div><div>HTH,</div><div><br></div><div><br></div><div>Ian</div><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div>-- ACCU - Professionalism in programming - <a href="http://www.accu.org" target="_blank">http://www.accu.org</a><br></div>-- My writing - <a href="https://sites.google.com/site/ianbruntlett/" target="_blank">https://sites.google.com/site/ianbruntlett/</a><br><div>-- Free Software page - <a href="https://sites.google.com/site/ianbruntlett/home/free-software" target="_blank">https://sites.google.com/site/ianbruntlett/home/free-software</a><br></div><br> </div></div></div></div></div></div></div></div>