Я работаю над расширением Gnome Shell, и для этого потребуются некоторые настройки (путь к папке, URL-адрес и флажок (включение / выключение)).
Мне было интересно, можно ли было сделать это только с помощью javascript для Gnome 3, или требовалось что-то вроде Python.
Единственным примером, который я нашел, было это расширение https://extensions.gnome.org/extension/135/web-application-menu/ и использует Python.
Если можно использовать javascript, есть ли у вас ссылка на документ о том, как это сделать?
Большое спасибо !