On 2018/07/24 22:53, Vadim Zhukov wrote: > вт, 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!
You can't _just_ do that, because it has already been imported. It will need @conflict/@pkgpath markers and an entry in quirks.
