Felix Kohlgrüber
01/20/2021, 5:41 PMDenny Vrandečić
01/20/2021, 6:22 PMNaveen Michaud-Agrawal
01/20/2021, 6:45 PMGarth Goldwater
01/20/2021, 6:58 PMAndrew F
01/20/2021, 7:12 PMKonrad Hinsen
01/20/2021, 7:20 PMFelix Kohlgrüber
01/20/2021, 8:34 PMTyler Adams
01/20/2021, 8:37 PMKartik Agaram
grep -n10000
the device of the hard disk, go get a coffee
* Scan the output in a text editor, find the right section, delete above and below.
If it's a binary file you now need more tooling.Jack Rusher
01/21/2021, 8:28 AMMariano Guerra