Un file .bat per cambiare una stringa di testo in file con una data estensione

[natasha]

Buonasera a tutti,
avrei bisogno di un file .bat che, dati come parametri una cartella, cambi una determinata stringa di testo in un'altra in file con una data estensione (.ini).
Qualcuno si ritrova "a portata di mano" il codice necessario?
Kisses,

Nat

[cionci]

Non è così immediato...anzi con i normali programmi batch non è possibile farlo...

[maxnaldo]

si può fare in modo di sostituire un valore in un file .ini (però il file .ini deve essere molto semplice)

creare un file PROVA.BAT e scriverci dentro le seguenti righe:

type filename.ini | find /v "topolino=" > filename.tmp
copy /y filename.tmp filename.ini
echo topolino=nuovovalore>> filename.ini
del filename.tmp

poi crei un file di prova FILENAME.INI e ci scrivi:

pippo=pluto
paperino=prova
topolino=vecchiovalore

lanciando il .bat vedrai che il nuovo filename.ini contiene il nuovo valore per "topolino"

a questo punto non ti resta che provare a parametrizzare il valore da immettere.

:D

[cionci]

Non avevo pensato a find /v... In questo caso sarebbe fattibile...anche se l'inserimento sarebbe possibile farlo solamente in fondo al file ini...

[maxnaldo]

si, infatti per quello il file ini deve essere "semplice"

un semplice elenco di chiavi va bene, anche se vengono spostate in fondo non succede nulla...

se il file è più complesso tipo ad esempio windows.ini mi sa che ti succederà un gran macello !

:D :D :D

[kingv]

se lo script non deve girare su una macchina "standard" scaricati un utility tipo sed o awk compilata per windows e diventa abbastanza banale.