nginxで80番ポートに来たアクセスを443番ポートに転送するための設定。panda大学習帳での表示用。

nginx_forward_to_443.conf

http {
  (中略)
  server {
    listen       80 default_server;
    listen       [::]:80 default_server;
    (前略)
    # location定義の前あたりに挿入。
    # 実際の設定として使用する際には、ドル記号の前のバックスラッシュは不要。
    return 301 https://\$host\$request_uri;
    (後略)
  }
}