Для редактирования строк в текстовых файлах в Python, можно воспользоваться следующим способом:
1. Открыть и прочитать исходный файл:
```python
with open('input.txt', 'r') as file:
lines = file.readlines()
```
2. Произвести обработку строк и сохранить результат в новый файл:
```python
with open('output.txt', 'w') as file:
for line in lines:
split_line = line.split(';')
for substr in split_line:
if len(substr) >= 9:
file.write(substr[:9] + '\n')
```
В данном коде мы открываем файл `input.txt`, читаем все строки файла, разбиваем каждую строку по символу `;` и извлекаем первые 9 символов из каждой найденной подстроки. Затем записываем результат в новый файл `output.txt`.
После выполнения данного кода, в файле `output.txt` будут сохранены первые 9 символов перед каждым символом `;` из исходного файла `input.txt`.