tool_details_start name "cURL"; command_is "curl"; version CURL_VERSION; wimpslot 2048k; tool_details_end metaoptions_start has_auto_save "Download" from icn 10; has_text_window; metaoptions_end fileoutput_start output_option_is "-o"; output_dft_is produces_no_output; fileoutput_end dbox_start icons_start icn 3 maps_to string; icn 4 maps_to "-i"; icn 5 maps_to "-L"; icn 6 maps_to "-v"; icn 7 maps_to "-I"; icn 9 maps_to produces_output; icons_end defaults icn 3 "http://", icn 4 off, icn 5 off, icn 6 off, icn 7 off, icn 9 off; dbox_end order_is icn 4, icn 5, icn 6, icn 7, icn 9, output, icn 3;