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 × #! /bin/bash # [[php2phps]] create phps files from php files in a directory # # Author: # Fred Radeff (FR), radeff@akademia.ch, radeff.red # History: samedi 27 janvier 2007 : FR, created # No Copyright, steal this! ######### find . -name "*.php" | while read i do echo "cp " $i $i"s" cp $i $i"s" done info/php2phps.txt Dernière modification : 2018/07/18 09:46de radeff S'identifier