• command line - Recursively rename files (change extension) in Linux - Super User
  find . -name "*.andnav" -exec rename -v 's/\.andnav$/\.tile/i' {} \;
  in Informatique > UNIX with remplace remplacer replace

remplacer from all users