屑俺日記

☆ scm

こちらでは 例のコードで1712!までだった。

$ scm
SCM version 5e5, Copyright (C) 1990-2006 Free Software Foundation.
SCM comes with ABSOLUTELY NO WARRANTY; for details type `(terms)'.
This is free software, and you are welcome to redistribute it
under certain conditions; type `(terms)' for details.
;loading /usr/share/slib/require
;done loading /usr/share/slib/require.scm
;loading /usr/share/slib/require
;done loading /usr/share/slib/require.scm
;loading /usr/lib/scm/Link
;done loading /usr/lib/scm/Link.scm
;loading /usr/lib/scm/Transcen
;done loading /usr/lib/scm/Transcen.scm
 
> (myfact 1713)
 
;ERROR: "/usr/lib/scm/Iedline.scm": bignum: numerical overflow; \
NUMDIGS_MAX < 1000
; in expression: (#@* #@n (#@myfact (#@- #@n 1)))
; in scope:
;   (n)  procedure myfact
;STACK TRACE
1; (#@myfact 1713)

☆ letsencrypt 鍵更新

既に作り捨てたサーバの鍵が失効するとかしたとかのメールが いくつか届いていた。

letsencrypt$ ./letsencrypt-auto renew --force-renew
Checking for new version...
Requesting root privileges to run letsencrypt...
   sudo /home/$USER/.local/share/letsencrypt/bin/letsencrypt \
  renew --force-renew
[sudo] password for $USER: 
Processing /etc/letsencrypt/renewal/$HOST.$DOMAIN.conf
new certificate deployed without reload, \
 fullchain is /etc/letsencrypt/live/$HOST.$DOMAIN/fullchain.pem
 
Congratulations, all renewals succeeded. \
 The following certs have been renewed:
  /etc/letsencrypt/live/$HOST.$DOMAIN/fullchain.pem (success)

その結果、

$ sudo ls -l /etc/letsencrypt/live/$HOST.$DOMAIN/
合計 0
lrwxrwxrwx 1 root root 41  3月 27 21:57 cert.pem -> \
   ../../archive/$HOST.$DOMAIN/cert2.pem
lrwxrwxrwx 1 root root 42  3月 27 21:57 chain.pem -> \
   ../../archive/$HOST.$DOMAIN/chain2.pem
lrwxrwxrwx 1 root root 46  3月 27 21:57 fullchain.pem -> \
   ../../archive/$HOST.$DOMAIN/fullchain2.pem
lrwxrwxrwx 1 root root 44  3月 27 21:57 privkey.pem -> \
   ../../archive/$HOST.$DOMAIN/privkey2.pem
 
$ sudo ls -l /etc/letsencrypt/archive/$HOST.$DOMAIN/
合計 32
-rw-r--r-- 1 root root 1801  3月  7 17:31 cert1.pem
-rw-r--r-- 1 root root 1801  3月 27 21:57 cert2.pem
-rw-r--r-- 1 root root 1675  3月  7 17:31 chain1.pem
-rw-r--r-- 1 root root 1647  3月 27 21:57 chain2.pem
-rw-r--r-- 1 root root 3476  3月  7 17:31 fullchain1.pem
-rw-r--r-- 1 root root 3448  3月 27 21:57 fullchain2.pem
-rw-r--r-- 1 root root 1708  3月  7 17:31 privkey1.pem
-rw-r--r-- 1 root root 1704  3月 27 21:57 privkey2.pem

liveディレクトリの下がシンボリックリンクになっている、 のは、更新を考慮してのことか。
とはいうものの、新しい証明書が有効かどうか、実は まだ確認してなかったり。