Ho un gran numero di file, alcuni dei quali sono molto lunghi. Vorrei troncarli a una certa dimensione se sono più grandi rimuovendo la fine del file. Ma voglio solo rimuovere intere righe. Come posso fare questo? Sembra il tipo di cose che verrebbero gestite dalla toolchain di Linux, ma non conosco il comando giusto.
Ad esempio, supponiamo di avere un file da 120.000 byte con linee da 300 byte e sto cercando di troncarlo a 10.000 byte. Le prime 33 righe dovrebbero rimanere (9900 byte) e il resto dovrebbe essere tagliato. Non voglio tagliare esattamente a 10.000 byte, poiché ciò lascerebbe una linea parziale.
Naturalmente i file hanno lunghezze diverse e le linee non sono tutte della stessa lunghezza.
Idealmente i file risultanti verrebbero resi leggermente più corti piuttosto che leggermente più lunghi (se il punto di interruzione si trova su una linea lunga) ma questo non è troppo importante, potrebbe essere un po 'più lungo se fosse più semplice. Vorrei che le modifiche venissero apportate direttamente ai file (bene, possibilmente il nuovo file copiato altrove, l'originale eliminato e il nuovo file spostato, ma è lo stesso dal punto di vista dell'utente). Una soluzione che reindirizza i dati in un sacco di posti e poi indietro invita la possibilità di corrompere il file e vorrei evitare che ...