" \"print graphicsinfo.conf\" print default graphics config\n"
" \"print soundsinfo.conf\" print default sounds config\n"
" \"print musicinfo.conf\" print default music config\n"
+ " \"dump level FILE\" dump level data from FILE\n"
" \"dump tape FILE\" dump tape data from FILE\n"
" \"autoplay LEVELDIR\" play level tapes for LEVELDIR\n"
"\n",
{
char *filename = getTokenValue(setup_file_list, file_list[i].token);
- if (filename == NULL)
+ if (filename)
+ for (j=0; j<num_suffix_list_entries; j++)
+ file_list[i].parameter[j] =
+ get_parameter_value(suffix_list[j].type, suffix_list[j].value);
+ else
filename = file_list[i].default_filename;
+
file_list[i].filename = getStringCopy(filename);
for (j=0; j<num_suffix_list_entries; j++)