W dniu sob, 03.03.2018 o godzinie 14∶50 +0100, użytkownik Ulrich Mueller napisał: > > > > > > On Sat, 03 Mar 2018, Michał Górny wrote: > > I don't really want to go into this. As far as I'm concerned, I can > > leave defunct '-d' and just check dev profiles unconditionally. > > WFM. Or even better, leave defunct -d/--include-dev in place (in order > not to break peoples' scripts) and add a long --no-include-dev option. >
...which would be inconsistent with -e/--include-exp-profiles. -- Best regards, Michał Górny