salve a tutti,
dovrei rinominare alcuni file che contengono la stringa "divx" nel nome del file.
qualcuno conosce/sa fare uno script che levi divx? (n.b. case unsensitive)