Today marks the release of iOS and iPadOS 16.4 beta 1, and with it comes support for Web Push and other features for Home Screen web apps. Today also brings the first beta of Safari 16.4. It’s a huge release, packed with over 135 features in WebKit — including RegExp lookbehind assertions, Import Maps, OffscreenCanvas, Media Queries Range Syntax, @property, font-size-adjust, Declarative Shadow DOM
【問】RSSの更新間隔を細かく調整するには? a.Safariの環境設定で調整 b.オンラインウェアでしか調整できない c.ターミナルを使って調整 【答】 Safariには、ニュースサイトやブログなどの新着記事を自動で通知してくれる機能や、RSSを一覧表示する「RSSリーダー」としての側面もあり、最新情報のチェックに重宝する。RSSの自動受信の間隔は、「30分ごと」「1時間ごと」「1日ごと」のいずれかから選択可能で、「しない」を選ぶと自動更新は行われない。しかし、標準の更新間隔は大ざっぱなので、より細かく間隔を指定したいという人もいるだろう。 その場合は、「ターミナル」を起動してRSSの更新間隔をコマンドで指定すればいい。このとき、後述のコマンドの末尾に指定する値がRSSの更新間隔だ。値の単位は「秒」。従って、1分間隔でRSSを自動受信したいのなら、コマンドの末尾に「60」と指定すればいい
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
