Re: idea: allow side-local port-specific config

2022-07-14 Thread Klemens Nanni
On Thu, Jul 14, 2022 at 08:22:54PM +0200, Christian Weisgerber wrote: > Klemens Nanni: > > > Here's something I currently do to ports-framework changes I need on the > > machine I work on from actual port changes that ought to be committed. > > I use this on the bulk building machines: > > $ cat

Re: idea: allow side-local port-specific config

2022-07-14 Thread Christian Weisgerber
Klemens Nanni: > Here's something I currently do to ports-framework changes I need on the > machine I work on from actual port changes that ought to be committed. I use this on the bulk building machines: $ cat /etc/mk.conf .if exists(/usr/ports/in

Re: idea: allow side-local port-specific config

2022-07-11 Thread Klemens Nanni
On Mon, Jul 11, 2022 at 01:12:23PM +0100, Stuart Henderson wrote: > On 2022/07/11 11:33, Klemens Nanni wrote: > > Here's something I currently do to ports-framework changes I need on the > > machine I work on from actual port changes that ought to be committed. > > > > The way it works is that I j

Re: idea: allow side-local port-specific config

2022-07-11 Thread Stuart Henderson
On 2022/07/11 11:33, Klemens Nanni wrote: > Here's something I currently do to ports-framework changes I need on the > machine I work on from actual port changes that ought to be committed. > > The way it works is that I just fill > /usr/ports/category/port/site-local-config.mk with someting like