Blog Entries

Gnome shell Hello world

Gnome Shell, besides providing the main user interface for GNOME 3, is a Javascript shell with bindings to many native interfaces that allow e.g. Window manipulation, graphics rendering and animations, compositing, etc. It also allows developers to write extensions changing Gnome Shell’s behavior. Less known is that it is possible to replace the entire Javascript […]

2015-05-04 04:10:17+0200

miscellaneous, p.d.o | 1 Comment »

Using a git clone of gecko-dev to push to mercurial

The next branch of git-cinnabar now has minimal support for grafting, enough to allow to graft a clone of gecko-dev to mozilla-central and other Mozilla branches. This will be available in version 0.3 (which I don’t expect to release before June), but if you are interested, you can already try it. There are two ways […]

2015-05-01 07:32:22+0200

p.m.o | No Comments »