man page(1) manual page
Table of Contents

_________________________________________________________________

NAME

flush - Flush buffered output for a file

SYNOPSIS

flush fileId
_________________________________________________________________

DESCRIPTION

Flushes any output that has been buffered for fileId. FileId must have been the return value from a previous call to open, or it may be stdout or stderr to access one of the standard I/O streams; it must refer to a file that was opened for writing. The command returns an empty string.

KEYWORDS

buffer, file, flush, output


Table of Contents