Допустим, у нас есть файл .txt с текстом «1234567890»,
Можно ли изменить 1 на 9, чтобы он сказал «9234567890», не касаясь оставшихся чисел?
Чтобы уточнить, это должно только изменить часть текстового файла и не переписывать всю вещь. Мне разрешено использовать только php и html.
Это может быть одна строка, но я разбиваю ее так, чтобы это имело больше смысла. Кроме того, это будет быстрее, если использовать exec с sed или awk, но здесь только PHP.
$string = file_get_contents("yourfile");
$string = str_replace('1','9',$string);
file_put_contents("youfile", $string);
Других решений пока нет …