Miscs

rename_to_copie.sh

@@ -14,6 +14,11 @@ for file in *.pdf; do
     # Handle case where no pdfs exist
     [ -e "$file" ] || continue
 
+    if [ "$file" = "enonce.pdf" ]; then
+        echo "Skipping: $file"
+        continue
+    fi
+    
     # Rename with 0-padding (e.g., Copie01.pdf)
     mv -- "$file" "$(printf "Copie%02d.pdf" "$count")"
     ((count++))