研究室に 12 月に中国から来る留学生の面倒を見ることになった。
片方の人は自分のドメインを取っていたのでウェブサイトを見てみたところ、dn42 で peering を受け付けていておもしろかった。
https://me.xiaorui.li/
draw.io が吐いてくれる PDF のフォントがおかしいので、Chrome の印刷ダイアログから出力した A4 の PDF を以下のようにして margin とった。$ pdfcrop --margins '0 0 0 -800' /Users/yusuke/Library/CloudStorage/[email protected]/Shared\ drives/yusuke.pub/dehak/softlab/2023/ugrad-a/20231025/20231020-ugrad-a.pdf /Users/yusuke/Library/CloudStorage/[email protected]/Shared\ drives/yusuke.pub/dehak/softlab/2023/ugrad-a/20231025/20231020-ugrad-a.cropped.pdf
PDFCROP 1.40, 2020/06/06 - Copyright (c) 2002-2020 by Heiko Oberdiek, Oberdiek Package Support Group.
!!! Warning: The final Bounding Box is empty!
!!! Page: 1: 12 1048 407 571
!!! Probably caused by too large negative margin values.
!!! Recovery by ignoring margin values.
==> 1 page written on `/Users/yusuke/Library/CloudStorage/[email protected]/Shared drives/yusuke.pub/dehak/softlab/2023/ugrad-a/20231025/20231020-ugrad-a.cropped.pdf'.