Ubuntu
gnome-shell package

  1. Bug #1690719
  2. Comment #32

Comment 32 for bug 1690719

Revision history for this message
In , Geecko-dev (geecko-dev) wrote :

Huh, forgot to mention it's for gnome-shell 3.16.1 only. And the correct command is:
GNOME_SHELL_JS=/var/tmp/shell gnome-shell --replace