Description of problem: Option -r for gnome-shell unknown. Version-Release number of selected component (if applicable): gnome-shell-3.0.0.2-2.fc15.x86_64 How reproducible: always Steps to Reproduce: 1. $ gnome-shell -r 2. 3. Actual results: gnome-shell: Unknown option -r Expected results: same as gnome-shell --replace ( gnome-shell --replace in not working ) Additional info: GNOME-SHELL(1) GNOME-SHELL(1) NAME gnome-shell - Graphical shell for the GNOME desktop SYNOPSIS gnome-shell [options] DESCRIPTION GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to provide a visually attractive and easy to use experience. OPTIONS -r, --replace Replace the running metacity/gnome-panel
Upstreamed: https://bugzilla.gnome.org/show_bug.cgi?id=648562