File

The file module provides access to disk files in both Mini Micro and command-line MiniScript.

Methods and Properties

The following table shows methods available in both Mini Micro and command-line MiniScript.

Method or Property	Purpose
file.curdir	get the current working directory path
file.setdir path	set the current working directory
file.makedir path	create a new directory
file.children [path]	get all file/subdirectory names of the given/current directory
file.name path	get just the file name from a file path
file.parent path	get the parent directory of a given path
file.exists path	return 1 if a file or directory exists, 0 if not
file.info path	get a map of details about a given file or directory
file.child basePath, subpath	get a path to a file within a directory
file.delete path	delete a file or (empty) directory
file.move oldPath, newPath	move/rename a file or directory
file.copy oldPath, newPath	copy a file to a new location
file.readLines path	read whole content of file as a list of strings
file.writeLines path, lines	write a list of strings to a text file, separated by line breaks
file.open path, [mode="rw+"]	open a file for further processing

The following table shows methods available only in Mini Micro and/or Soda.

Method or Property	Purpose
file.export path	export a file to the host file system
file.import path	import a file from the host file system
file.loadImage path	load an Image from a PNG, JPEG, or TGA file
file.saveImage path, image, [quality=80]	save an Image to a file
file.loadSound path	load a Sound from a WAV or OGG file
file.loadRaw path	load binary data as a RawData object
file.saveRaw path, rawData	save a RawData object to a file