added command to set gnome-shell favorites