[Pkg-privacy-maintainers] Bug#903117: tails-installer: Mistakes in packages.debian.org list of files?

[u]

Hi!

Kenichiro MATOHARA:

> I was operating while looking at the Tails page.
> 
>> Start Tails Installer:
>>   tails-installer-launcher
> https://tails.boum.org/install/expert/usb/index.en.html

> When trying to start up with tails-installer-launcher, this command was not found.
> tails-installer existed.

Seems like a bug in the Tails documentation :) I'll fix it there.

>> $ dpkg-query -S tails-installer|grep bin
>> tails-installer: /usr/bin/tails-installer
>> $ ls -l /usr/bin/tails-installer*
>> -rwxr-xr-x 1 root root 4847 Jun 28 16:28 /usr/bin/tails-installer
> 
> 
> The list of files on packages.debian.org is tails-installer-launcher.

Yes, note that this is an older version of the installer. I will upload
the new version soon and it should behave the same way.

> I think that tails-installer is correct, so in that case can I fix it?

This simply needs to be fixed in the Tails documentation, I'll do that
once I have uploaded a more recent backport.

Ack?

Cheers!
u.