tool_details_start name "cURL"; command_is "curl"; version CURL_VERSION; wimpslot 2048k; tool_details_end metaoptions_start has_text_window; metaoptions_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 "-o" 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;