Debianだとcertbotよりもdehydratedの方がsystemd.timerとかwell-knownディレクトリの面倒も見てくれるので楽だった
Debianだとcertbotよりもdehydratedの方がsystemd.timerとかwell-knownディレクトリの面倒も見てくれるので楽だった
大 政 奉 還
昨年の配信停止騒ぎからの復活 「キルミーベイベー」Amazonビデオで再配信開始、またわさわさできるぞ - ねとらぼ https://nlab.itmedia.co.jp/nl/articles/1607/02/news019.html @itm_nlabさんから
HTMLのtime要素を使ってマークアップしたらスクリーンリーダーが日付として読み上げてくれるかなと思ったら、NVDAはFirefoxでもChromeでも特に変化なく、Windows標準のナレーター+Edgeの組み合わせだけ日付として読み上げられる結果になった
Firefoxではアクセシビリティオブジェクトにtime要素の情報を出しているらしいので、スクリーンリーダー側の対応待ちなのかな https://bugzilla.mozilla.org/show_bug.cgi?id=1095927
意図としては、
<time datetime="2019-03-14">2019/3/14</time>
のようなマークアップに対して
「2019 スラッシュ 3 スラッシュ 14」
と読み上げられるよりは
「2019年3月14日」
と読まれた方が親切だろうなと思っていた所でした
Windows、Insiderでナレーターの更新物凄いしてたし力入れてるなぁってのをふと思い出した。
time要素とスクリーンリーダーの件、
<time datetime="2019-03-14T14:26:00">2時間前</time>
のようなマークアップもあり得るので、単純に datetime を優先して読ませれば良いという話でもなさそうだった。（仮に対応するとしたら文脈を考慮して読み上げのルールを変えるといった感じか）
