Inserting a File into PICO

To insert an existing file into the PICO file you are currently editing:

• Place the cursor where you want to the inserted file to go.
• Press ctrl-r. You'll receive the prompt Insert file:
• Type in the name of the file you want to insert and press the return key. The inserted file's contents will be inserted at the cursor.

This command does not delete or alter the file that is to be inserted (a copy of the file is inserted).

If you change your mind about inserting the file after you've pressed ctrl-r, when prompted for the file name enter any character string that is not an existing file name. The system will attempt to process the command, but when it doesn't find a corresponding file it will cancel the command and your text will not be altered. You will, however, receive the message No such file: followed by the character string you entered.

Go to the PICO tutorial main page.

Last modified July 20, 2004 by cawalker