インターネットで日付を検索し、コマンドラインでコンピュータの時計を設定するにはどうすればよいですか?
ベストアンサー1
日付を更新するために何もインストールしたくない場合に備えて、時間を更新する小さなコマンドを見つけました。 :)
sudo date -s "$(wget --method=HEAD -qSO- --max-redirect=0 google.com 2>&1 | sed -n 's/^ *Date: *//p')"
date
実際に時間を設定する前に、次を実行して文字列を正しく理解していることを確認できます。
$ date -d "$(wget --method=HEAD -qSO- --max-redirect=0 google.com 2>&1 | sed -n 's/^ *Date: *//p')"
Mon Jan 10 11:40:46 AM CET 2022
このwget
コマンドはで置き換えることができますcurl -Is --max-redirs 0 google.com
。
応答が最新のときに応答がキャッシュされる可能性がある--method=HEAD
ため(以前のヘッダーを使用)、この方法が使用されます。GET
Date
HEAD