Museum

Home

Lab Overview

Retrotechnology Articles

⇒ Online Manual

Media Vault

Software Library

Restoration Projects

Artifacts Sought

EVE WRITE_FILE — VMS 5.5

 WRITE FILE

 Writes out the current buffer to a file, saving its contents, without
 ending your editing session (similar to SAVE FILE or SAVE FILE AS).

 Key:  The WPS keypad defines GOLD-W as WRITE FILE.

 Examples:

    Commands                Purposes or Effects
    ---------------------------------------------------------------------
    GET FILE rough.dat      Edits a file named ROUGH.DAT, and then
    WRITE FILE final.txt    writes your edits to a file named FINAL.TXT,
                            rather than as a new version of ROUGH.DAT.

    GET FILE memo.txt       Edits a file named MEMO.TXT, and then
    WRITE FILE              writes your edits to a new version of that file
                            or version 1 if you are creating a new file.

 Usage notes:

 o  Specifying an output file does not change the buffer name, but may
    change the output file of the buffer for later WRITE FILE or SAVE FILE
    commands or for exiting (except with system buffers).

 o  If there is no file name for the buffer---that is, if you did not
    specify a file when you invoked EVE or when you created the buffer---
    EVE asks for an output file name.

 o  To check the output file of the buffer, use SHOW.

 o  WRITE FILE closes the buffer-change journal file (if there is one).
    Subsequent changes to the buffer start a new buffer-change journal file
    (unless you disabled journaling for that buffer).

 o  If you write out an EVE system buffer, such as the Show buffer or
    Messages buffer, EVE asks you for an output file name.

 o  You cannot use WRITE FILE to write out a buffer other than the current
    buffer.  However, on exiting, if any buffers were modified, EVE asks if
    you want to write out those buffers.

 Related topics:

    DELETE BUFFER     EXIT     QUIT     SAVE FILE     SAVE FILE AS

Typewritten Software • bear@typewritten.org • Edmonds, WA 98026