Re: A question about upgrading on Debian/Ubuntu

2019-12-10 Thread Adrian Klaver
On 12/10/19 8:14 AM, stan wrote: On Tue, Dec 10, 2019 at 07:46:02AM -0800, Adrian Klaver wrote: On 12/10/19 3:21 AM, stan wrote: I upgraded successfully on our test machine from V11 to V12 the other day. The below indicates that this is not the case. Now it is time to upgrade the productio

Re: A question about upgrading on Debian/Ubuntu

2019-12-10 Thread stan
On Tue, Dec 10, 2019 at 07:46:02AM -0800, Adrian Klaver wrote: > On 12/10/19 3:21 AM, stan wrote: > > I upgraded successfully on our test machine from V11 to V12 the other day. > > The below indicates that this is not the case. > > > Now it is time to upgrade the production machine. One f the l

Re: A question about upgrading on Debian/Ubuntu

2019-12-10 Thread Adrian Klaver
On 12/10/19 3:21 AM, stan wrote: I upgraded successfully on our test machine from V11 to V12 the other day. The below indicates that this is not the case. Now it is time to upgrade the production machine. One f the lessons learned in doing this is to do "make install" on all the extensions us