Tips du jour sous CVS : changer l’utilisateur

Ayant travaillé dans une session différente de la mienne, j’ai eu des difficultés à me synchroniser sous CVS après avoir rapatrié les sources dans ma machine, cvs se borne à synchroniser sous la session utilisé pour le checkout.
Un rapide coup d’oeil dans le manuel ne m’a pas apporté de réponse sur la façon de « switcher » l’utilisateur. Ce dernier étant enregistrée dans CVS/Roots, il suffit d’éditer ce fichier pour modifier la session, mais il faut le faire pour chaque répertoire synchronisé. J’ai commencé à réfléchir à une solution avec awk/sed, mais n’étant pas un habitué de l’édition de console j’ai consulté mon ami Google et la solution je l’ai trouvé ici, avec une ligne de commande utilisant sed :
find . -name Root -exec sed -i 's/oldserver/newserver/' {} \;

Je pense quand même qu’il me faut intégrer une utilisation « basique » de sed, ça rend bien service :)

À propos de Selso

Salut ! Je m'appelle Selso. Je vis à Saint-Etienne depuis 2005. Je suis ingénieur en informatique embarquée en poste chez CIO Systèmes Embarqués.
Cette entrée a été publiée dans Développement, Informatique, Script shell et utilitaires associés, avec comme mot(s)-clef(s) , , . Vous pouvez la mettre en favoris avec ce permalien.

Laisser un commentaire