вт, 24 июл. 2018 г. в 17:28, Thomas Frohwein <[email protected]>:
>
> > > > > Was the potential name clashing with KDE's Dolphin considered? There
> > > > > is no file conflict since the emulator's executable is called
> > > > > dolphin-emu. But there will be x11/kde-applications/dolphin package
> > > > > sooner or later, since Dolphin file manager became a separate KDE
> > > > > Application a few years already. I don't have anything aginst the
> > > > > emulator, but there are much more emulator users aware of file manager
> > > > > than the other round, and therefore "pkg_add dolphin" will lead to
> > > > > surprise for many.
> > > >
> > > > Uh-oh. Switching the package name to dolphin-emu is probably worthwhile.
> > > > It's used in both the executable name and the homepage.
> > > >
> > >
> > > OTOH, won't people wanting the KDE one mostly be getting it from the
> > > KDE metapackage?
> >
> > I really like dolphin even on non-KDE desktops. Probably I'm not alone
> > here.
>
> Never having been much of a KDE user myself, this name clash totally
> escaped my attention. I guess moving forward we could either rename the
> emulator to dolphin-emu, or come up with a different name for the file
> manager when it's eventually added to ports. I'm fine with either way.
>
> The following diff would switch emulators/dolphin to
> emulators/dolphin-emu (location and package name).

Of course, I'd prefer the first option. :) You can just re-import
emulator under dolphin-emu/,
tweak parent Makefile, then cvs rm files under dolphin/.

Thanks!

--
  WBR,
  Vadim Zhukov

Reply via email to