Actually there is 1 problem: GNOME Shell (well, the 3.12 staging version from the PPA, actually) doesn't seem to save extensions over reboots, so you probably wouldn't want its PPA if you're a bit dependant on the extensions.

Another note for those --no-install-recommends lovers is that unlike most other desktop shells, the "gnome-shell" package literally only installs the shell - the /usr/share/xsessions file, for example, is in another package (which I think is gnome-session).

Reply via email to