Forums PostgreSQL.fr

jul_pat

Membre

Outil pour changer le port[résolu]

Bonjour,
Je suis à la recherche d'un outil qui permettrai de changer le port d’exécution d'un serveur postgres sous windows.

Je sait que cela est possible en éditant le fichier postgres.conf mais je voudrais automatiser le changement du port suite a l'utilisation de script pour automatiser une migration avec pg_upgrade.
Existe t'il un outil,application,utilitaires étant capable de faire cela?

Dernière modification par jul_pat (12/04/2012 15:47:08)

rjuju

Administrateur

Re : Outil pour changer le port[résolu]

Bonjour.
A ma connaissance il n'y a pas d'outil pour le faire, mais vous pouvez l'automatiser dans votre script, avec une commande telle que :
cat /...../postgresql.conf | sed -e 's/5432/5433/g' > /..../postgresql.conf

---

Julien.
https://rjuju.github.io/

jul_pat

Membre

Re : Outil pour changer le port[résolu]

oui mais le soucis c'est que je suis sur une architecture windows.

rjuju

Administrateur

Re : Outil pour changer le port[résolu]

Vous pouvez tester :
    echo port = 54 33 >> C:\....\postgresql.conf

Ca ajoutera une ligne avec le port en fin de fichier, et avec un peu de chance c'est la dernière valeur trouvée dans le fichier qui sera prise en compte. Ce n'est pas très propre mais ça peut marcher.

---

Julien.
https://rjuju.github.io/

jul_pat

Membre

Re : Outil pour changer le port[résolu]

Ceci fonctionne mais je ne trouve pas cela propre et je pense que sa ne satisfera pas les attentes de mes supérieur.

rjuju

Administrateur

Re : Outil pour changer le port[résolu]

Je comprend bien le problème mais je ne vois hélas pas d'autre solution simple

Il existe peut-être un équivalent à sed en bat mais je ne le connais pas, sinon il vous faudra programmer l'utilitaire vous-même.

---

Julien.
https://rjuju.github.io/

rjuju

Administrateur

Re : Outil pour changer le port[résolu]

J'ai trouvé ça qui pourrait peut-être vous dépanner :
http://www.dostips.com/?t=Batch.FindAndReplace

---

Julien.
https://rjuju.github.io/

jul_pat

Membre

Re : Outil pour changer le port[résolu]

Merci cela fonctionne super bien sa me facilite bien les chose.