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 を優先して読ませれば良いという話でもなさそうだった。（仮に対応するとしたら文脈を考慮して読み上げのルールを変えるといった感じか）
温泉もあるし宿泊もできるからここから鋸山とか登るのもいいかなとか思った
