Где взять хоть какую-нибудь документацию по расширениям для gnome-shell?
У них на сайте вроде все перерыл, ничего внятного не нашел.
Нет, можно, конечно, самому изучить все что лежит в /usr/share/gnome-shell/js и плюс на примере уже написанных расширений писать свои. Но это как-то слишком сурово, впрочем, я именно этим сейчас и занимаюсь, но довольно туго идет.
Неужели разработчики не позаботились об этом? Ведь одно дело сделать механизм расширений, другое дело показать другим людям, как их нужно писать, иначе какой в этом смысл?