#!/bin/bash

curl -k -vvI -m 10 https://"$1" &> "$2"