anotherhadi/awesome-wallpapers
1
Fork 0
mirror of https://github.com/anotherhadi/awesome-wallpapers.git synced 2026-10-05 18:28:25 +02:00
Code Issues Packages Projects Releases Wiki Activity

edit workflow

Browse Source
This commit is contained in:
Hadi
2025-03-27 10:39:51 +01:00
parent 05fa249879
commit d610e6d0b6
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/check-format.yml
+3 -3
View File
@@ -42,15 +42,15 @@ jobs:
fi fi
if [[ $basename == *"_static"* ]]; then if [[ $basename == *"_static"* ]]; then
if [ ! -f "${basename}*.gif" ]; then t=$(echo "$basename" | sed 's/_static/_animated/')
if [ ! -f "${t}.gif" ] ; then
echo "❌ Error: $file has a static tag but no gif file" echo "❌ Error: $file has a static tag but no gif file"
exit 1 exit 1
fi fi
fi fi
# If le fichier contient _animated, il doit y avoir un fichier png ou jpg qui contient le même nom et _static à la place de _animated
if [[ $basename == *"_animated"* ]]; then if [[ $basename == *"_animated"* ]]; then
t=$(echo "$basename" | sed 's/animated/static/') t=$(echo "$basename" | sed 's/_animated/_static/')
if [ ! -f "${t}.png" ] && [ ! -f "${t}.jpg" ]; then if [ ! -f "${t}.png" ] && [ ! -f "${t}.jpg" ]; then
echo "❌ Error: $file has a animated tag but no png or jpg file" echo "❌ Error: $file has a animated tag but no png or jpg file"
exit 1 exit 1