Hi
No one forces anyone to install Android IDE's and Android SDK's / platform
tools into the system. They can live happily inside the user's home folder as
well. In that case, the user is not using pacman to manage those installations.
There are many packages in AUR requiring android-platform or android-sdk
and both can be provided by user side simply downloading them using the
Android SDK Manager, it's also written in the package comments what are
the reasons behind these packages.
On 15 October 2023 12:15:04 GMT+02:00, not...@aur.archlinux.org wrote:
MarsSeed [1] filed a deletion request for android-platform-dummy [2]:
According to some TU's, dummy packages are not allowed on AUR.
I don't know why this one would be particularly useful.
I don't have a strong opinion about dummy packages, for sure there must
not be a reason to duplicate every packages as they could be provided by
user side, of course. Android packages are somewhat special as they are
really huge. As developer I had tens of android platform versions and
the same for the android SDK and system images.
At the same time I have nothing against the deletion if they are not
useful for many people but for my opinion they are useful (I'm not
accepting or closing the request for the moment).
A workaround exists using pacman --assume-installed
I think the dummy packages argument worth a separate discussion in
aur-general, not just a couple TU's opinion
Best regards
--
Fabio Castelli aka Muflone