After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 645390 - gnome-shell: fix restart after rebuild
gnome-shell: fix restart after rebuild
Status: RESOLVED FIXED
Product: gnome-shell
Classification: Core
Component: general
unspecified
Other All
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2011-03-21 12:51 UTC by Dan Winship
Modified: 2011-03-21 13:23 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
gnome-shell: fix restart after rebuild (1.26 KB, patch)
2011-03-21 12:51 UTC, Dan Winship 		committed Details | Review

Description Dan Winship 2011-03-21 12:51:14 UTC 
Alt+F2 restart was failing after a rebuild when running from the
source tree because it would try to restart
".libs/lt-gnome-shell-real", which didn't exist yet. Fix this by using
"libtool --mode=execute" at build time to regenerate that file.
Comment 1 Dan Winship 2011-03-21 12:51:17 UTC 
Created attachment 183933 [details] [review]
gnome-shell: fix restart after rebuild
Comment 2 Owen Taylor 2011-03-21 13:10:21 UTC 
Review of attachment 183933 [details] [review]:

poked at this a bit, couldn't figure it out. "lt-gnome-shell-real is sometimes there and sometimes not, why?" congratulations for deciphering the shell scripts and solving out the puzzle.

Looks like an OK hack, maybe some 
 
 # force upfront generation of final executable in .libs so <Alt>F2 restart works

or some comment like that would be useful.
Comment 3 Dan Winship 2011-03-21 13:23:48 UTC 
Attachment 183933 [details] pushed as 206f460 - gnome-shell: fix restart after rebuild