Talk:Dolphin
From Gentoo Wiki
Note
Before creating a discussion or leaving a comment, please read about using talk pages. To create a new discussion, click here. Comments on an existing discussion should be signed using
Before creating a discussion or leaving a comment, please read about using talk pages. To create a new discussion, click here. Comments on an existing discussion should be signed using
~~~~
:
A comment [[User:Larry|Larry]] 13:52, 13 May 2024 (UTC) : A reply [[User:Sally|Sally]] 06:27, 22 December 2024 (UTC) :: Your reply ~~~~
Navigate to first
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.).