[Résolu] remplacer le début d'un fichier
Posté : 16 mai 2009, 22:42
Bonjour,
Je me heurte à un problème qui ressemble à un problème de débutant mais... je commence pourtant à me débrouiller normalement
J'écris la config d'une appli dans un fichier. Cette config est un tableau, écrit grace à la fonction var_export(). Le hic, c'est que la config ne fait pas toujours le même nombre de lignes, et encore moins de caractères. Du coup le plus simple serait de réserver une trentaine de lignes pour l'écrire. Mais si je vois très bien comment écrire des lignes, je ne trouve rien d'efficace pour "effacer" car la fonction fputs() ajoute en insertion.
Mon dernier essai aura été le suivant :
Vous feriez comment ?
Je me heurte à un problème qui ressemble à un problème de débutant mais... je commence pourtant à me débrouiller normalement
J'écris la config d'une appli dans un fichier. Cette config est un tableau, écrit grace à la fonction var_export(). Le hic, c'est que la config ne fait pas toujours le même nombre de lignes, et encore moins de caractères. Du coup le plus simple serait de réserver une trentaine de lignes pour l'écrire. Mais si je vois très bien comment écrire des lignes, je ne trouve rien d'efficace pour "effacer" car la fonction fputs() ajoute en insertion.
Mon dernier essai aura été le suivant :
<?php
$text = "<?php\n".'$config = '. var_export($new_config, true) . ';' ;// la config est là
$text .= file_get_contents ("restore.php", $offset= -500); // ajoute le reste du fichier
file_put_contents('restore.php', $text); // remplace le tout dans le fichier
?>
J'ai aussi touillé du côté de file() et fputs() mais sans succès...Vous feriez comment ?