Demande de conseil base de donnée : changement du nom de serveur

[Ducobuu]

Bonjour à tous,

J'ai été obligé de changer mon nom de serveur pour mon site hébergeant Chamilo. J'ai bien réussi à changer le nouvelle adresse dans le code avec : sudo find . -type f -exec sed -i 's/Oldname.tk/Newname.ovh/g' {} +
Par contre pour la base de donnée je n'ai encore rien changé car je n'y connais pas grand chose, je sollicite donc vos conseils pour éviter de mettre mon site HS dont voici la configuration : Ubuntu 20.04 ; Mariadb, Chamilo 11.6

Question :
Suis-je obligé de faire des requêtes SQL dans toutes les tables puis de modifier le nom du serveur pour chaque occurrence ?
ou bien
Est-ce que je peux faire un export de la base par exemple avec sudo mysqldump -u root -p chamilodb | gzip -c > chamilodbsave.sql.gz puis modifier les occurrences de texte correspondant au nom du serveur par un traitement de texte puis réinjecter la base ...avec quelle commande ? Cette méthode me parait plus facile.

Je suis nouveau sur GitHub, merci pour votre indulgence ...
Ducobu

[Ducobuu]

Finalement voici ce que j'ai fait :

sudo mysqldump  -u root -p chamilodb > chamilodbsave.sql
sudo cp -av chamilodbsave.sql chamilodbsave.sqlBACK   

(au cas ou)

sed -i  's/oldname.tk/newname.ovh/g' chamilodbsave.sql
mysql -u root -p chamilodb  < chamilodbsave.sql

Cela marche nickel ! N'hésitez plus à changer de nom de domaine !