Проблема с настройками easyscreencast в Debian 9.13

#1

Установил себе это расширение. Работает, пишет, сохраняет. Но не могу войти в настройки, чтобы изменить формат выходного файла. При попытке выдаёт окно с ошибкой:

SyntaxError: missing : after property id

Stack trace:
Application<._getExtensionPrefsModule@resource:///org/gnome/shell/extensionPrefs/main.js:74
wrapper@resource:///org/gnome/gjs/modules/lang.js:178
Application<._selectExtension@resource:///org/gnome/shell/extensionPrefs/main.js:89
wrapper@resource:///org/gnome/gjs/modules/lang.js:178
Application<._onCommandLine@resource:///org/gnome/shell/extensionPrefs/main.js:239
wrapper@resource:///org/gnome/gjs/modules/lang.js:178
main@resource:///org/gnome/shell/extensionPrefs/main.js:377
@<main>:1

Поисковики привели только к добавлению этих строк в файл utilaudio.js:

const GIRepository = imports.gi.GIRepository;
GIRepository.Repository.prepend_search_path("/usr/lib/gnome-shell");
GIRepository.Repository.prepend_library_path("/usr/lib/gnome-shell");
GIRepository.Repository.prepend_search_path("/usr/lib64/gnome-shell");
GIRepository.Repository.prepend_library_path("/usr/lib64/gnome-shell");

но это в файле уже прописано.
Эмпирически я понял, что не хватает какого-то id в строках: №74, 89, 239 в некоем файле
Искал по корневой папке файлы org.gnome.shell.extensionPrefs. и org.gnome.gjs.modules ничего не находится(может не то и не так ищу, конечно, ну..., опять же, в силу своих познаний логов) Ставил вручную с сайта:extensions.gnome
Версия gnome-sell 3.22 extension 38(39, 40 не появлялся значок в трее и не включался в gnome-tweak-tool, но присутствовал. Через расширение браузера не устанавливался, с "Git"так же, как и с 39-й и 40-й)
Задал вопрос на форуме Debian, неделю назад, но, видимо, никто не сталкивался с такой ситуацией.
Kazam в Debian(у меня) отказывается работать.
OBS и SimpleScreenRecorder для меня, как комбайн на 6-ти сотках картошки

Поможите, кто чем может, сами мы не местные

(ну, или пошлите "по доброму")

inxi

System: Host: Debian Kernel: 4.9.0-13-amd64 x86_64 (64 bit gcc: 6.3.0)
Desktop: Gnome 3.22.3 (Gtk 3.22.11-1)
Distro: Debian GNU/Linux 9 (stretch)
Machine: Device: desktop Mobo: Gigabyte model: G41M-ES2L BIOS: Award v: F6 date: 11/04/2009
CPU: Quad core Intel Core2 Quad Q9400 (-MCP-) cache: 3072 KB
flags: (lm nx sse sse2 sse3 sse4_1 ssse3 vmx) bmips: 21333
clock speeds: max: 2667 MHz 1: 2000 MHz 2: 2000 MHz 3: 2000 MHz
4: 2000 MHz
Graphics: Card: NVIDIA GK208 [GeForce GT 710B] bus-ID: 01:00.0
Display Server: X.Org 1.19.2 driver: nvidia
Resolution: 1280x1024@60.02hz
GLX Renderer: GeForce GT 710/PCIe/SSE2
GLX Version: 4.6.0 NVIDIA 418.152.00 Direct Rendering: Yes
Audio: Card-1 Intel NM10/ICH7 Family High Definition Audio Controller
driver: snd_hda_intel bus-ID: 00:1b.0
Card-2 NVIDIA GK208 HDMI/DP Audio Controller
driver: snd_hda_intel bus-ID: 01:00.1
Sound: Advanced Linux Sound Architecture v: k4.9.0-13-amd64
Network: Card-1: Realtek RTL8111/8168/8411 PCI Express Gigabit Ethernet Controller
driver: r8169 v: 2.3LK-NAPI port: d000 bus-ID: 03:00.0
IF: enp3s0 state: up speed: 100 Mbps duplex: full mac: <filter>
Card-2: Ralink RT3060 Wireless 802.11n 1T/1R
driver: rt2800pci v: 2.3.0 bus-ID: 04:01.0
IF: wlp4s1 state: down mac: <filter>
Drives: HDD Total Size: 830.2GB (40.6% used)
ID-1: /dev/sda model: WDC_WD5002ABYS size: 500.1GB
ID-2: /dev/sdb model: ST380815AS size: 80.0GB
ID-3: /dev/sdc model: ST3250312AS size: 250.1GB
Partition: ID-1: / size: 32G used: 7.7G (26%) fs: ext4 dev: /dev/sdc5
ID-2: /home size: 42G used: 8.6G (23%) fs: ext4 dev: /dev/sdc6
ID-3: swap-1 size: 3.00GB used: 0.01GB (0%) fs: swap dev: /dev/sdc1
Sensors: System Temperatures: cpu: 45.0C mobo: N/A gpu: 0.0:54C
Fan Speeds (in rpm): cpu: 1591 fan-2: 0
Info: Processes: 179 Uptime: 15:28 Memory: 1794.0/3954.6MB
Init: systemd runlevel: 5 Gcc sys: 6.3.0
Client: Shell (bash 4.4.121) inxi: 2.3.5

symon2014 · #2

Whowka,https://youtu.be/vTjpk231ar0

#3

Whowka писал(а): ↑
12 окт 2020, 03:34
Искал по корневой папке

Искать надо было в своем хомяке.

#4

symon2014, Спасибо! Но вот образец использования мною "записи экрана":
https://drive.google.com/file/d/1kkLxc8 ... sp=sharing

Что-то помассивней, пишется из архива с сервера в *.avi, а эта, "поганка така", по умолчанию пишет в *.webm
Ну, лениво, включать Pitivi только лишь для экпорта в mp4.(к тому же Pitivi у меня в 2 раза размер выходящего файла увеличивает(но это уже другая история)). И не хочется "запускать комбайн ради одной грядки с картошкой"

rogoznik писал(а): ↑
12 окт 2020, 10:20
Искать надо было в своем хомяке.

Там тоже нет. Есть папка ~/.local/share/gnome-shell/extensions/EasyScreenCast@iacopodeenosee.gmail.com
Меня бы устроило просто "по умолчанию" в конфигах выставить mp4, но не нашёл "как". webm попался в файле ~/.local/share/gnome-shell/extensions/EasyScreenCast@iacopodeenosee.gmail.com/Options_UI.glade

1198 <item id="0">WebM [VP8 encoder]</item>
1199 <item id="4">WebM [VP9 encoder]</item>
1200 <item id="1">Mp4 [x264 encoder]</item>
1201 <item id="2">Mkv [x264 encoder]</item>
1202 <item id="3">Ogg [Theora encoder]</item>

Но, тупо, перемена местами с mp4 не привела к изменениям.

#5

Нашлось Решение. Может кому-то пригодится :