Re: git: 81b6dcb645ee - main - databases/redis*: Refine ports

Am 03.04.2024 um 08:00 schrieb Yasuhiro Kimura:
> From: Matthias Fechner<mfechner@freebsd.org>
> Subject: Re: git: 81b6dcb645ee - main - databases/redis*: Refine ports
> Date: Wed, 3 Apr 2024 07:50:14 +0300
>
>> Am 03.04.2024 um 07:36 schrieb Yasuhiro Kimura:
>>
>>> * Pet portclippy.
>> just to learn something new, what is portclippy?
>>
>> Gruß
>> Matthias
> It is installed with ports-mgmt/portfmt and checks the order of
> variables in Makefie. I use it as following.
>
> % cd /usr/port/category/name
> % portclippy Makefile | diff -u Makefile -
amazing, thanks a lot Yasuhiro. I added this now to my gitlab pipeline, 
so it run automatically in my tests.
If someone is interested:
# make sure package ports-mgmt/portfmt is installed to have portclippy 
available
portclippy:
   stage: test
   needs: [ ]
   allow_failure: true
   script:
     - git diff-tree --no-commit-id --name-only -r 
origin/$CI_DEFAULT_BRANCH $CI_COMMIT_SHA | grep -E '.*/.*/Makefile$' | 
sort -u | xargs -tL 1 portclippy
   rules:
     - if: $CI_COMMIT_BRANCH != $CI_DEFAULT_BRANCH
In this way, I just do my commits in a branch different to the default 
branch push the changes and check the pipeline, if everything is fine, 
merge the branch and push it to the FreeBSD repo.

Gruß
Matthias

-- 

"Programming today is a race between software engineers striving to
build bigger and better idiot-proof programs, and the universe trying to
produce bigger and better idiots. So far, the universe is winning." --
Rich Cook