Я работаю с текстовым файлом, который содержит список процессов, находящихся под управлением моих программ, вместе с соответствующими данными.
В какой-то момент один из процессов завершится, и, следовательно, потребуетсяудален из файла (так как он больше не находится под контролем).
Вот пример содержимого файла (в который вводятся записи случайным образом):
PID=25729 IDLE=0.200000 BUSY=0.300000 USER=-10.000000
PID=26416 IDLE=0.100000 BUSY=0.800000 USER=-20.000000
PID=26522 IDLE=0.400000 BUSY=0.700000 USER=-30.000000
Так, например,если я хочу удалить строку с надписью PID = 26416 .... как я могу это сделать, не перезаписывая файл заново?
Я могу использовать внешние команды Unix, однако я не очень хорошо с ними знакомпоэтому, пожалуйста, если это ваше предложение, приведите пример.
Спасибо!