Re: Allow an extention to be updated without a script

2023-02-01 Thread Yugo NAGATA
On Wed, 1 Feb 2023 14:37:27 +0800 Julien Rouhaud wrote: > Hi, > > On Tue, Jan 31, 2023 at 11:17:22AM +0900, Yugo NAGATA wrote: > > > > On Mon, 30 Jan 2023 16:05:52 -0500 > > Tom Lane wrote: > > > > > If you have no update script, why call it a new version? The point > > > of extension versions

Re: Allow an extention to be updated without a script

2023-01-31 Thread Julien Rouhaud
Hi, On Tue, Jan 31, 2023 at 11:17:22AM +0900, Yugo NAGATA wrote: > > On Mon, 30 Jan 2023 16:05:52 -0500 > Tom Lane wrote: > > > If you have no update script, why call it a new version? The point > > of extension versions is to distinguish different states of the > > extension's SQL objects. We

Re: Allow an extention to be updated without a script

2023-01-30 Thread Yugo NAGATA
Hi, Thank you for your comment. On Mon, 30 Jan 2023 16:05:52 -0500 Tom Lane wrote: > Yugo NAGATA writes: > > Currently, even when we don't need to execute any command to update an > > extension from one version to the next, we need to provide an update > > script that doesn't contain any comma

Re: Allow an extention to be updated without a script

2023-01-30 Thread Tom Lane
Yugo NAGATA writes: > Currently, even when we don't need to execute any command to update an > extension from one version to the next, we need to provide an update > script that doesn't contain any command. Preparing such meaningless > files are sometimes annoying. If you have no update script, w