I'm glad it works Andreas! Clément
Andreas Enge <[email protected]> writes: > 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
