Hello Clément,
I think I never replied to your kind e-mail, apologies!
On Fri, May 04, 2018 at 06:14:09PM +0200, Clément Lassieur wrote:
> I do the same with my nginx configuration:
>
> (nginx-server-configuration
> (listen '("443 ssl" "[::]:443 ssl"))
> (server-name (list "foo.org"))
> (root "/var/www/foo")
> (locations
> (list
> (nginx-location-configuration
> (uri "/")
> (body (list "index index.html;"
> "auth_basic \"closed site\";"
> ;; needs to be set manually
> "auth_basic_user_file /etc/nginx/htpasswd;")))))
> (ssl-certificate ...)
> (ssl-certificate-key ...))
>
> /etc/nginx/htpasswd may contain:
> user:<hashed-pwd>
This worked well, indeed, thanks a lot! It did not even occur to me that
I could store state somewhere on the machine and use it in my operating
system declaration...
Andreas
