next up previous index
Next: FIND Up: MIRA language internal help Previous: DESPIKE   Index


FILE

        MIRA\FILE IN|OUT name [NEW] [/CLASS] [/MBFITS] [/SHOW]

    Selects the input directory and output files.
    FILE IN name         defines the input directory
    FILE OUT name [NEW]  defined the output file;
                         initializes a file if NEW is given.

    FILE /CLASS Opens a CLASS type file for output (default). If the output
                filename has no extension, defaults to .30m

    FILE /MBITS Converts IMBFITS raw data to MBFITS raw data.
                Not yet implemented.

    FILE /SHOW  Displays the names of the current input and output files
                (if opened, otherwise a warning message is issued).


Gildas manager 2024-03-19