Creating implementation for idiom 199 : Truncate a file at the current file position

Idiom

# 199 Truncate a file at the current file position

Created by

Lead paragraph

Truncate a file F at the given file position.

New implementation

Language

Imports

Code

Documentation URL

Original attribution URL

Online runnable demo

Username

Be concise.

Be useful.

All contributions dictatorially edited by webmasters to match personal tastes.

Please do not paste any copyright violating material.

Please try to avoid dependencies to third-party libraries and frameworks.

Other implementations

using System.IO;

var F = new FileStream("F", FileMode.Open)
// advance into F here
F.SetLength(F.Position);

import 'dart:io';

File(F).openSync(mode: FileMode.write).truncateSync(position);

import "os"

err := os.Truncate(F, position)

Truncate(F);

use Path::Tiny qw(path);

my $F = path('F')->openrw;
# ... read some from $F to advance
# position of file handle (not shown) ...
truncate $F, tell $F;

F.truncate(F.tell())

F.truncate(F.pos)

use std::io::Seek;

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