Allow an extention to be updated without a script

2023-01-30 Thread Yugo NAGATA
re? Any feedback would be appreciated. Regards, Yugo Nagata -- Yugo NAGATA >From 938e15b28f66015044b559e4c523fc74590691fc Mon Sep 17 00:00:00 2001 From: Yugo Nagata Date: Mon, 30 Jan 2023 17:36:55 +0900 Subject: [PATCH] Allow an extention to be updated without a script When we don't need

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

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-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-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