Voici une astuce pour renommer en masse des fichiers avec bash directement. Le but est d'obtenir, au lieu de artiste - album - numero - titre.mp3 quelque chose de plus simple comme numero - titre.mp3.
Rien de plus facile. Enfin...
egrep -r '^\$db_url' * | grep -v username | cut -d'=' -f2
J’ai écrit un petit script simple pour faire un backup complet de toutes les bases de données MySQL qui sont sur le système.
