include_dir - 'if_exists' logic yes or no?

Started by PG Bug reporting formover 4 years ago2 messagesdocs
Jump to latest
#1PG Bug reporting form
noreply@postgresql.org

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/13/config-setting.html
Description:

include_dir 'directory'

it it not 100% clear whether the include_dir option also allows 'if_exists'
funtionality.

I think a include_dir_if_exists should be possible.
If it is it should be expressed specifically in the docs.
If the functionality does not exist this should be mentioned very clear
in the docs also

#2Euler Taveira
euler@eulerto.com
In reply to: PG Bug reporting form (#1)
Re: include_dir - 'if_exists' logic yes or no?

On Tue, Dec 21, 2021, at 6:46 AM, PG Doc comments form wrote:

include_dir 'directory'

it it not 100% clear whether the include_dir option also allows 'if_exists'
funtionality.

I think a include_dir_if_exists should be possible.
If it is it should be expressed specifically in the docs.
If the functionality does not exist this should be mentioned very clear
in the docs also

There is no such directive include_dir_if_exists. Why should the documentation
mention something that isn't implemented? You could suggest a new feature. IMO
no documentation change is required.

--
Euler Taveira
EDB https://www.enterprisedb.com/