Talk:Dolphin
From Gentoo Wiki
Note
This is a Talk page - please see the documentation about using talk pages. Add newer comments below older ones, sign comments using four tildes (
This is a Talk page - please see the documentation about using talk pages. Add newer comments below older ones, sign comments using four tildes (
~~~~), and indent successive comments with colons (:).
Add new sections at the bottom of the page, under a heading (== ==). Please remember to mark sections as "open for discussion" using {{talk|open}}, so they will show up in the list of open discussions.Possible renaming
Talk status
This discussion is done as of 2022-05-27.
I want to create a Dolphin (Emulator) page, but I think to make it clearer this should be renamed to Dolphin (File Manager) or something like that. Then Dolphin could turn into a meta page asking users whether or not they meant "Dolphin (File Manager)" or "Dolphin (Emulator)".
For reference, the ArchWiki just has a small notice in their Dolphin wiki page pointing to Dolphin_emulator, but I'm not sure if we want to go a different route here.
I'm also curious if we would need to tell the maintainers of those packages to update the wiki links from packages.gentoo.org or is there no way to control that at the moment? --Redstrate (talk) 22:03, 26 May 2022 (UTC)
- Sounds fine, you could just go ahead and move this page if you create a page for the other package called Dolphin. Moving a page is a little involved, but there aren't many pages linking to this article, which helps.
- I think it is possible to file a bug about documentation links for p.g.o, but I'm having trouble finding out how exactly to do that right now. That said, the Dolphin emulator page currently links to this article, so if there were a "disambiguation" page here (not Meta), everything might be fine like that.
- Filing such bugs is something I want to document, along with how to propose corrections to all documentation (man pages, info, "--help" text, [much more], etc.).