Script php pour modifier un fichier txt
Résolu/Fermé
SleepyAshes
Messages postés
34
Date d'inscription
mardi 31 mai 2016
Statut
Membre
Dernière intervention
29 juin 2017
-
16 juin 2016 à 18:11
Reivax962 Messages postés 3671 Date d'inscription jeudi 16 juin 2005 Statut Membre Dernière intervention 11 février 2021 - 17 juin 2016 à 10:38
Reivax962 Messages postés 3671 Date d'inscription jeudi 16 juin 2005 Statut Membre Dernière intervention 11 février 2021 - 17 juin 2016 à 10:38
A voir également:
- Script php pour modifier un fichier txt
- Fichier rar - Guide
- Modifier extension fichier - Guide
- Fichier host - Guide
- Alert php ✓ - Forum PHP
- Fichier iso - Guide
2 réponses
DelNC
Messages postés
2231
Date d'inscription
samedi 25 octobre 2014
Statut
Membre
Dernière intervention
22 février 2020
1 995
17 juin 2016 à 00:48
17 juin 2016 à 00:48
Bonjour
je ne sais pas faire ce que tu veux en php.
Si tu veux, on peut faire cette opération avec un script de type .bat
Voilà le code
je ne sais pas faire ce que tu veux en php.
Si tu veux, on peut faire cette opération avec un script de type .bat
Voilà le code
@echo off
setlocal enabledelayedexpansion
for /F "delims=" %%a in (MonDocument.txt) do (
set a=%%a
set a=!a,"=.!
echo !a!
echo !a! >>resultat.txt
)
Reivax962
Messages postés
3671
Date d'inscription
jeudi 16 juin 2005
Statut
Membre
Dernière intervention
11 février 2021
1 008
17 juin 2016 à 10:38
17 juin 2016 à 10:38
Bonjour,
On peut faire ça assez simplement a priori, si ton fichier n'est pas trop gros :
Attention s'il est gros, tu risques d'avoir des soucis de mémoire. Il faut alors utiliser fopen() et fgets() pour avoir les lignes du fichier une par une, str_replace() pour faire la substitution, et écrire le résultat ligne à ligne dans un nouveau fichier. À la fin, tu peux écraser le vieux fichier par le nouveau avec les fonctions delete/copy/rename.
Plus d'infos sur les fonctions qui agissent sur le système de fichier là :
https://www.php.net/manual/fr/ref.filesystem.php
Xavier
On peut faire ça assez simplement a priori, si ton fichier n'est pas trop gros :
<?php
$content = file_get_contents($filename);
$content = str_replace(',', '.', $content);
file_put_contents($filename, $content);
?>
Attention s'il est gros, tu risques d'avoir des soucis de mémoire. Il faut alors utiliser fopen() et fgets() pour avoir les lignes du fichier une par une, str_replace() pour faire la substitution, et écrire le résultat ligne à ligne dans un nouveau fichier. À la fin, tu peux écraser le vieux fichier par le nouveau avec les fonctions delete/copy/rename.
Plus d'infos sur les fonctions qui agissent sur le système de fichier là :
https://www.php.net/manual/fr/ref.filesystem.php
Xavier
17 juin 2016 à 09:45