Кто как корректно и красиво может уменьшить длину файла(отбросить хвост). Создавать новый, копировать нужную часть, удалять исходный и переименовывать в исходный не предлогать.
