系统：Ubuntu 18 x64
我使用 Gnome Shell 的内置屏幕录像机和快捷键Ctrl+ Shift+ Alt+ R。它工作正常，但有一个例外：
它创建了一个漂亮的 30 帧输出视频，但它每 100 毫秒仅更新一次鼠标指针，因此指针太过粗心和滞后，无法在屏幕上演示任何内容。请参阅此处的相关源代码：
https://github.com/GNOME/gnome-shell/blob/master/src/shell-recorder.c#L135
此选项似乎是硬编码的。我的问题是，如何修补我的系统以将此值更改为 33，以使光标每 30 帧更新一次？
在我的系统中寻找此选项，我可以在以下库中找到它：
cd /usr/lib/gnome-shell
grep -ir UPDATE_POINTER_TIME
Binary file libgnome-shell.so matches
该文件可以在以下包中找到：
apt-file search libgnome-shell.so
gnome-shell: /usr/lib/gnome-shell/libgnome-shell.so
但是我找不到此文件的开发包。gnome-devel 也不包含此库的源代码。
知道如何更改此硬编码值吗？任何帮助都将不胜感激。谢谢。
答案1
“Devel” 软件包从不包含库的源代码。它们包含用于链接的文件你自己代码到那些已经编译好的库中。
要更改现有编译文件的源代码，您需要源码包常规软件包（包括 -dev 软件包）就是从这里构建的。这不是可安装的，而是可以使用以下方式下载的：
apt-get source gnome-shell
这将从 GNOME 下载上游源代码以及 Debian 打包文件。有了这些，您可以使用 编译并创建新的 .deb 包，dpkg-buildpackage -us -uc然后使用 进行安装dpkg -i。