#!/bin/bash
exec curl -qkiI 'https://localhost:8443/'