Anciennes révisionsLiens de retourExporter en PDFHaut de page Share via Share via... Twitter LinkedIn Facebook Pinterest Telegram WhatsApp Yammer RedditDerniers changementsSend via e-MailImprimerPermalien × gif2xpm.sh #!/bin/bash # [[backup_netoffice.sh]] #pour transformer des gif en xpm, mais aussi un exmple pour **renommer les extensions** à la volée; # à coupler avec le scripts de création de boutons à partir de texte [[info:boutons_creation.sh]] # Authors: # FR, radeff@akademia.ch # History: created --- //[[fradeff@akademia.ch|Fred Radeff]] 2008/07/01 16:02// ######### #cherche dans le rep courant tous les fichiers en gif find . -name "*.gif" | while read i #loop (les lit 1 a 1) do #fichier sans le ./ devant, on pourrait aussi faire avec un ls -1 *.gif ori=`echo $i | sed 's|^..||g'` #fichier sans extension file=`echo $ori | sed 's|\..*||g'` #on affiche la commande echo "convert $ori $file.xpm" #on convertit en xpm convert $ori $file.xpm #on supprime le fichier gif original rm $i #fin du loop done boutons_creation.sh script lié info/gif2xpm.txt Dernière modification : 2018/07/18 09:46de radeff S'identifier