Re: [PATCH 10/10] coresched: rename option '--dest-type' to just '--type'

On Tue, Apr 01, 2025 at 11:25:40AM +0200, Benno Schulenberg wrote:
> 
> Op 01-04-2025 om 10:35 schreef Karel Zak:
> > On Mon, Mar 31, 2025 at 07:09:02AM -0400, Phil Auld wrote:
> > > but this could break users. There
> > > may not be that many yet anyway, of course.
> > 
> > It's already released, so it is truly a backward-incompatible change.
> 
> Users of a brand-new tool really should expect some iterations in the
> next versions to improve the feel of it.  So I don't see a problem in
> correcting a poor choice for a long-option name.

We've already discussed this, and --dest-type was chosen because
there's --source <pid> and --dest <pid>. We wanted to ensure users
understand the type relates to --dest. It's just an option name, so
let's not get into bike-shedding, please ;-)

    Karel


-- 
 Karel Zak  <[email protected]>
 http://karelzak.blogspot.com