I am writing a gtk+ app using Gjs ( Gnome JavaScript bindings ) As there are no documents available i am reading the sources of gnome-shell JavaScript\'s . In my app i need to g
$ apt-file search -x "Shell.*typelib" gnome-shell: /usr/lib/gnome-shell/Shell-0.1.typelib gnome-shell: /usr/lib/gnome-shell/ShellJS-0.1.typelib gnome-shell: /usr/lib/gnome-shell/ShellMenu-0.1.typelib $ sudo apt-get install gnome-shell