chore(default-flatpaks): Revert checking flatpak flathub IDs with curl instead of wget
It was not an issue with `curl` after all, it's an issue with flathub OBS page being down with status 500.
This commit is contained in:
parent
b592ededde
commit
84264cafae
1 changed files with 2 additions and 2 deletions
|
|
@ -126,7 +126,7 @@ check_flatpak_id_validity_from_flathub () {
|
|||
echo "Safe-checking if ${INSTALL_LEVEL} flatpak IDs are typed correctly. If test fails, build also fails"
|
||||
if [[ ${#INSTALL[@]} -gt 0 ]]; then
|
||||
for id in "${INSTALL[@]}"; do
|
||||
if ! wget --spider "${URL}/${id}" >/dev/null 2>&1; then
|
||||
if ! curl --output /dev/null --silent --head --fail "${URL}/${id}"; then
|
||||
echo "ERROR: This ${INSTALL_LEVEL} install flatpak ID '${id}' doesn't exist in FlatHub repo, please check if you typed it correctly in the recipe."
|
||||
exit 1
|
||||
fi
|
||||
|
|
@ -134,7 +134,7 @@ check_flatpak_id_validity_from_flathub () {
|
|||
fi
|
||||
if [[ ${#REMOVE[@]} -gt 0 ]]; then
|
||||
for id in "${REMOVE[@]}"; do
|
||||
if ! wget --spider "${URL}/${id}" >/dev/null 2>&1; then
|
||||
if ! curl --output /dev/null --silent --head --fail "${URL}/${id}"; then
|
||||
echo "ERROR: This ${INSTALL_LEVEL} removal flatpak ID '${id}' doesn't exist in FlatHub repo, please check if you typed it correctly in the recipe."
|
||||
exit 1
|
||||
fi
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue