gnuboot/resources/dependencies
Denis 'GNUtoo' Carikli 5050b5365e
dependencies: trisquel-10: workaround package not found if already installed.
If wget isn't installed and that we install it, it works fine:
    # pkcon -y --allow-reinstall install wget
    Resolving                     [=========================]
    Installing                    [=========================]
    Loading cache                 [=========================]
    Running                       [=========================]
    Installing packages           [=========================]
    Finished                      [=========================]

But then if we try again it fails because it's already installed:
    # pkcon -y --allow-reinstall install wget
    Resolving                     [=========================]
    Package not found: wget
    Command failed: This tool could not find any available package: No
    packages were found

So for now we need to workaround this issue.

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
2023-12-09 15:46:54 +01:00
..
arch dependencies: fix installation when the package is already installed. 2023-12-09 15:43:07 +01:00
fedora35 dependencies: fix installation when the package is already installed. 2023-12-09 15:43:07 +01:00
guix dependencies: Add script to update Guix. 2023-12-06 17:32:51 +01:00
pureos-10 dependencies: rename debian in pureos-10. 2023-12-09 15:46:33 +01:00
trisquel-10 dependencies: trisquel-10: workaround package not found if already installed. 2023-12-09 15:46:54 +01:00
void dependencies: Add programs used in 'make check' 2023-12-06 17:32:21 +01:00