Re: The pgperltidy diffs in HEAD

Поиск
Список
Период
Сортировка
От Daniel Gustafsson
Тема Re: The pgperltidy diffs in HEAD
Дата
Msg-id 8F88EE34-06CE-4751-BA78-3E9444B07B50@yesql.se
обсуждение исходный текст
Ответ на Re: The pgperltidy diffs in HEAD  (Dagfinn Ilmari Mannsåker <ilmari@ilmari.org>)
Ответы Re: The pgperltidy diffs in HEAD
Список pgsql-hackers
> On 25 Nov 2025, at 23:03, Dagfinn Ilmari Mannsåker <ilmari@ilmari.org> wrote:

> Even simpler, and avoiding having to move the `set -e` after the check:
>
> PERLTIDY_VERSION=20230309
> if ! $PERLTIDY -v | grep -q $PERLTIDY_VERSION; then
> echo "error: pgperltidy requires perltidy v$PERLTIDY_VERSION"
> exit 1
> fi

Ah, even better, thanks!

--
Daniel Gustafsson


Вложения

В списке pgsql-hackers по дате отправления: