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
2014-07-01