История изменений
Исправление debugger, (текущая версия) :
Самый простой вариант я тебе уже подсказал — исправить расширение Lock Keys. Если чисто для себя — добавить звук, то можно обойтись буквально одной строчкой:
global.display.get_sound_player().play_from_theme( "bell", "Caps Locked", null );
В том расширении, которое тебе нравится, всего 60 строк. Расширение лежит в ~/.local/share/gnome-shell/extensions/lockkeys@fawtytoo. Я думаю, догадаешься, куда строчку воткнуть.
Если делать более цивильно (настройку чтобы звук можно было включать/выключать), но для внутреннего употребления сойдёт и без настроек.
Хорошая мысль, только реализовано это будет в новых версиях, а у меня старый гном.
Это расширение. Новая версия расширения может работать и в старом гноме.
Исправление debugger, :
Самый простой вариант я тебе уже подсказал — исправить расширение Lock Keys. Если чисто для себя — добавить звук, то можно обойтись буквально одной строчкой:
global.display.get_sound_player().play_from_theme( "bell", "Caps Locked", null );
В том расширении, которое тебе нравится, всего 60 строк. Расширение лежит в ~/.local/share/gnome-shell/extensions/lockkeys@fawtytoo. Я думаю, догадаешься, куда строчку воткнуть.
Если делать более цивильно (настройку чтобы звук можно было включать/выключать), но для внутреннего употребления сойдёт и без настроек.
Исходная версия debugger, :
Самый простой вариант я тебе уже подсказал — исправить расширение Lock Keys. Если чисто для себя — добавить звук, то можно обойтись буквально одной строчкой:
global.display.get_sound_player().play_from_theme( bell, "Caps Locked", null );
В том расширении, которое тебе нравится, всего 60 строк. Расширение лежит в ~/.local/share/gnome-shell/extensions/lockkeys@fawtytoo. Я думаю, догадаешься, куда строчку воткнуть.
Если делать более цивильно (настройку чтобы звук можно было включать/выключать), но для внутреннего употребления сойдёт и без настроек.