En deux temps :
1) Installez le paquet webp :
sudo apt install webp
2) Ajoutez ce script à votre PATH (il parcourt récursivement une arborescence à la recherche de fichier .webp
pour les convertir en .png
en supprimant le .webp
d'origine) :
#!/usr/bin/env bash
webp_to_png() {
local files fileName
files=$(find . -name "*.webp")
for file in ${files}
do
if [[ "${file}" == *.webp ]]; then
fileName="${file/webp/png}"
dwebp "${file}" -o "${fileName}"
rm "${file}"
fi
done
}
webp_to_png
Un très bon tuto fourni par Canonical !
Pour rappel, Dash est une implémentation stricte de la norme POSIX sh, bien plus légère et rapide que Bash ; mais aussi un peu moins fonctionnelle.
Le guide permet de convertir facilement du code Bash en Dash et profiter ainsi de meilleures performances !
Convertir un flux XML SOAP dans un POJO / Entité.
P#*$.? nous sommes en 2019 et mes clients font encore du SOAP et ça parle Java 7, portlet et Weblogic (T_T)... J'ai vraiment besoin de thunes pour encaisser ça. #MaVieDeFreelance
Convertir un div HTML en PDF.
Pour Lenny
Tapez cette commande et voilà :
git config --global core.autocrlf input
Pour faire le lien entre une grammaire du type :
S -> aA
A -> bA | ^
Il faut comprendre que les terminaux (ici 'a' et 'b') représentent les transitions alors que les non-terminaux ('ici 'S' et 'A') représentent les états de l'automate de parsing.
Je vous renvoie à la page 28 > Preuve du théorème 6 > petit (2) > Exemple.
Un tuto très sympa et très facile à comprendre (pour Roudoudoutte)
Aurelia a un part marginale dans ce tuto. L'intérêt est de comprendre comment la conversion JSON => Entité fonctionne