Get the internet time from websites

GMT:

wget --method=HEAD -qSO- --max-redirect=0 zeit.de 2>&1 | sed -n 's/^ *Date: *//p'


and Local Time:

#!/bin/bash

wget --method=HEAD -qSO- --max-redirect=0 zeit.de 2>&1 | \
sed -n 's/^ *Date: *//p' | \
xargs -I {} date -d '{}'