Logo

Programming-Idioms

  • Haskell
  • Python

Idiom #199 Truncate a file at the current file position

Truncate a file F at the given file position.

F.truncate(F.tell())
using System.IO;
var F = new FileStream("F", FileMode.Open)
// advance into F here
F.SetLength(F.Position);

Assumes code reads F to advance position into file stream.
New implementation...
< > ⌨
Bart 
F.truncate(F.tell())
var F = new FileStream("F", FileMode.Open)
// advance into F here
F.SetLength(F.Position);
File(F).openSync(mode: FileMode.write).truncateSync(position);
err := os.Truncate(F, position)
Truncate(F);
my $F = path('F')->openrw;
# ... read some from $F to advance
# position of file handle (not shown) ...
truncate $F, tell $F;

F.truncate(F.pos)
let pos = f.stream_position()?;
f.set_len(pos)?;