GNOMEの予約済みの壁紙を再描画する頻度を高めるには?

GNOMEの予約済みの壁紙を再描画する頻度を高めるには?

GNOMEでタイムアウトの壁紙を設定していますが、duration1秒未満に設定すると期待どおりに機能しません。

(または各フレームduration)の時間は正確に指定されますが、デスクトップの背景パターン自体は実際には毎秒1回だけ描​​画されます。

デスクトップをより頻繁に再描画するようにGNOME / Debianを設定できますか?目標は毎秒60のアップデートですが、毎秒30、15、または2つのアップデートに到達するのは最小限の進歩です。

私が試したこと:
  1. 私はオンラインで解決策を見つけましたが、duration1秒以上に設定するか、追加のソフトウェアを使用してデスクトップでビデオまたはGIFを再生する傾向があります。追加のソフトウェアを使用せずに最良の結果を得たいと思います。
  2. ドキュメントを読んでください。しかし、GNOMEには予約された壁紙が多くなく、通常の壁紙だけがあるので役に立ちません。 (デスクトップの壁紙追加の背景を追加)
  3. 壁紙やデスクトップの更新頻度に関する共通設定が見つかりません。
私のファイル
~/Pictures/W6cMZ6wfCjk/live-wallpaper.xml
<background>
  <static>
    <duration>0.016666667</duration>
    <file>/home/redacted/Pictures/W6cMZ6wfCjk/frames/001.png</file>
  </static>
  <static>
    <duration>0.016666667</duration>
    <file>/home/redacted/Pictures/W6cMZ6wfCjk/frames/002.png</file>
  </static>

  <!-- … 581 frames in total, spaced 0.016666667 seconds apart so 60 fps -->
~/.local/share/gnome-background-properties/live-wallpaper.xml
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE wallpapers SYSTEM "gnome-wp-list.dtd">
<wallpapers>
 <wallpaper deleted="false">
   <name>Redacted Wallpaper</name>
   <filename>/home/redacted/Pictures/W6cMZ6wfCjk/live-wallpaper.xml</filename>
   <options>zoom</options>
 </wallpaper>
</wallpapers>

答え1

これはうまくいきますが、壁紙を毎秒60回変更するとCPUが消費されるため、より良い解決策はGnome Shellがビデオストリームでアニメーションの背景をネイティブにサポートできるようにすることです。

とにかく進行方法は次のとおりです。

# Create a folder to hold your custom overlays
mkdir -p .gnome-shell-custom-overlays/ui
echo 'export G_RESOURCE_OVERLAYS="/org/gnome/shell=$HOME/.gnome-shell-custom-overlays"' \
   >> .profile

# Extract the file we want to customize
gresource extract /usr/lib/gnome-shell/libgnome-shell.so /org/gnome/shell/ui/background.js \
    > ~/.gnome-shell-custom-overlays/ui/background.js

# Change the minimum frame time (feel free to adjust)
sed -i 's:ANIMATION_MIN_WAKEUP_INTERVAL = 1.0;:ANIMATION_MIN_WAKEUP_INTERVAL = 1/60;:' \
    ~/.gnome-shell-custom-overlays/ui/background.js

その後、セッションからログアウトして再度ログインします。

関連情報