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 776412 - gnome-shell/autogen.sh: pushd: not found
gnome-shell/autogen.sh: pushd: not found
Status: RESOLVED DUPLICATE of bug 781242
Product: gnome-shell
Classification: Core
Component: building
unspecified
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2016-12-22 21:38 UTC by gnome.vrb
Modified: 2017-04-15 15:41 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description gnome.vrb 2016-12-22 21:38:44 UTC 
From https://bugzilla.gnome.org/show_bug.cgi?id=773085

gnome-shell build issues. pushd / popd are bash specific and the autogen.sh uses /bin/sh.

*** Configuring gnome-shell *** [1/93]
/home/dev/jhbuild/checkout/gnome-shell/autogen.sh: 14: /home/dev/jhbuild/checkout/gnome-shell/autogen.sh: pushd: not found
+ Setting up submodules
fatal: Not a git repository (or any parent up to mount point /home)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
fatal: Not a git repository (or any parent up to mount point /home)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
/home/dev/jhbuild/checkout/gnome-shell/autogen.sh: 24: /home/dev/jhbuild/checkout/gnome-shell/autogen.sh: popd: not found
/home/dev/jhbuild/install/bin/gnome-autogen.sh
Comment 1 gnome.vrb 2016-12-22 21:56:46 UTC 
root@unstable:~# ls -l /bin/sh
lrwxrwxrwx 1 root root 4 Jul  6 03:29 /bin/sh -> dash

root@unstable:~# uname -a
Linux unstable 4.8.0-1-amd64 #1 SMP Debian 4.8.7-1 (2016-11-13) x86_64 GNU/Linux

root@unstable:~# gnome-shell --version
GNOME Shell 3.22.2
Comment 2 Florian Müllner 2017-04-15 15:41:23 UTC 

*** This bug has been marked as a duplicate of bug 781242 ***