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 × chercher un fichier et changer les extensions #find php files and convert them to phps files find . -name "*.php" | while read i do outfile=${i%.php}.phps echo $outfile cp $i $outfile done info/change_extension.txt Dernière modification : 2023/03/13 14:25de radeff S'identifier