Shell Gnome / Скринкаст / UPDATE_POINTER_TIME

Question

Система: 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

Но я не могу найти пакет devel для этого файла. Также gnome-devel не содержит исходного кода для этой библиотеки.

Любая идея, как я мог бы изменить это жестко закодированное значение? Любая помощь с благодарностью. Благодарю.

Answer 1

Пакеты "Devel" никогда не содержат исходный код для библиотек. Они содержат файлы для связи вашего собственного кода с этими уже скомпилированными библиотеками.

Чтобы изменить исходный код существующего скомпилированного файла, вы ищете исходные пакеты, из которых собраны обычные пакеты (в том числе -dev). Это не что-то устанавливаемое, а загружаемое с помощью:

apt-get source gnome-shell

Это загрузит исходные исходники из GNOME, а также файлы упаковки Debian. С их помощью вы можете скомпилировать и создать новый пакет .deb с помощью dpkg-buildpackage -us -uc и установить его с помощью dpkg -i .