# 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