The "docker" package was renamed to "wmdocker" in 2018, and I see that
the transitional "docker" package has finally been removed from Trixie.

However, the source package is still called "docker". I suggest changing
it to "wmdocker" as well, unless that's something Debian policy doesn't
allow.

Note that neither OpenBox, nor *this* Docker have been updated upstream
for over a decade. I think you could even consider simply marking this
package for removal altogether. I wonder if the popcon stats for this
package aren't mostly caused by erroneous installs by people expecting
to get Docker CE instead.

BR,
Rimas Kudelis

(forwarding to a related src:docker bug for more persistent posterity
- #1107731 is specifically a request that we rename the src:docker
package to src:wmdocker, although I'm not totally sure it's worth the
churn, personally)



Hey Paul!

I see we definitely did the first part of this (trixie has no
bin:docker \o/) but I don't think we ever did your second half, so the
good news is that now we have an entire release where bin:docker is
completely gone and only bin:wmdocker and bin:docker.io exist -- still
feel good about adding something here for forky? :)

At this point, the "docker.io" name has enough inertia that IMO it's
not really worth doing the full "rename all the things" dance, but
perhaps we just add "Provides: docker" to bin:docker.io and call it
good?  What do you think?  Are there downsides to that simpler
approach to taking over the package name?

| $ sudo apt install -s docker
|
| Package docker is not available, but is referred to by another package.
| This may mean that the package is missing, has been obsoleted, or
| is only available from another source
| However the following packages replace it:
|  wmdocker
|
|
| Error: Package 'docker' has no installation candidate

♥,
- Tianon
  4096R / B42F 6819 007F 00F8 8E36  4FD4 036A 9C25 BF35 7DD4