# ivylaunch command and options; default is /usr/bin/ivylaunch #ivylaunch_command : # 4 selectable ports 4ports : 2010, 3009, 3110, 3945 # pre-selected port default_port : 3110 # default domain; may be your broadcast address #default_domain : 10.192.36.255 # files display sorting policy : mtime or alphabetical demos_sorting_policy : mtime tests_sorting_policy : mtime