Mars Space Flight Facility Environment

If you don't use Davinci in Mars Space Flight Facility, please ignore this page.

Standard Library

Standard Library is located in "/themis/lib/dav_lib/library.dvrc", and you can get load it as follows

dv> source("/themis/lib/dav_lib/library.dvrc")

or creating a ~/.dvrc file and adding the above command in it. In the latter case, everytime you run davinci, the library will be sourced automatically.

Testing Environment

The following command will run necessary commands to test you environment:

dv> install_check()

Keyboard Shortcuts

If you want to be able to navigate easier on you davinci shell, search your commands history etc, put the following file in your home directory:

.inpurc

Building Davinci

See Compiling_Davinci#Building_Davinci_for_Mars_Space_Flight_Facility