ラズパイ 時刻合わせ プロキシ環境

Question

##やろうとしていること

[環境]
Raspberry Pi3b+を使用しています。
Windows PCからSSH接続した環境で使用しています。
プロキシサーバを使用しなければならない環境です。

この環境の下、ラズパイの時刻があいません。
pi@raspberrypi:~ $ dateを実行しても、現在の時刻と一致しません。

##試したこと1
apt.conf
Acquire::http::proxy "http://プロキシサーバー名:ポート番号/";
Acquire::https::proxy "https://プロキシサーバー名:ポート番号/";

export http_proxy=http://プロキシサーバー名:ポート番号/
export https_proxy=http://プロキシサーバー名:ポート番号/

上記のとおり、プロキシサーバを設定しました。
この状態で、
pi@raspberrypi:~ $ apt-get updateは実行できています。

##試したこと2
/etc/systemd/timesyncd.conf
[Time]
NTP=xxx.xxx.xxx.xxx
を記述しました。
その後、次の手順で日付時刻を確認しましたが、現在の時刻と合いません。
pi@raspberrypi:~ Downloads$　sudo timedatectl set-ntp true
pi@raspberrypi:~ Downloads$　timedatectl status
pi@raspberrypi:~ Downloads$　date

何か設定漏れがあるのでしょうか。

Answer 1

プロキシサーバの設定値が誤っていました。

Answer 2

一般的なプロキシサーバには、時計合わせに必要なNTPを中継する機能はありません。
ですから多くの場合はローカルネットワークにNTPサーバを置きます。

プロキシサーバかデフォルトゲートウェイがNTPサーバを兼ねるケースも多いのでダメもとで
プロキシサーバかデフォルトゲートウェイのアドレスを設定してみてそれで駄目ならネットワーク管理者に
聞くしかありません。

Answer 3

当然のことながら、ラズパイとそのNTPサーバは通信できている、という前提が必要なわけですが、そこらへんは大丈夫なんでしょうか