Primeiro, curl
faz solicitações de http. Supondo que você tenha um servidor web escutando na máquina, você tem 2 opções:
-
Crie um script (php / asp / node) que forneça a data e a hora como resposta à solicitação.
-
Obtenha o tempo dos cabeçalhos de resposta do servidor.
curl -v https://google.com/
isso lhe dará, entre outras coisas, uma linha como essa
... < Date: Wed, 02 Mar 2016 18:39:13 GMT ...
Com esse resultado, você pode analisar e transformar no formato desejado.
dateFromServer=$(curl -v --silent https://google.com/ 2>&1 \ | grep Date | sed -e 's/< Date: //'); date +"%d%m%Y%H%M%S" -d "$dateFromServer"
Você deve observar a diferença entre GMT e horário local e adaptá-lo às suas necessidades.