PDA

View Full Version : Install Pop Shell Window Tiling Extension On Ubuntu



nikiubu2020me
July 18th, 2020, 03:00 PM
i have Install Pop Shell Window Tiling Extension On Ubuntu 20.04
With these commands :

sudo apt install node-typescript make git


git clone https://github.com/pop-os/shell

cd shell

./rebuild.sh
But because I already had the git installed
The shell folder was created in my Home directory
My Home partition is separate from the root partition
But at the end of the installation I encounter this error



---------------------------------------------Please help-----------------------------
+ make enable
UUID is "pop-shell@system76.com"
gnome-extensions enable "pop-shell@system76.com"
+ make restart-shell
UUID is "pop-shell@system76.com"
echo "Restart shell!"
Restart shell!
if bash -c 'xprop -root &> /dev/null'; then \
busctl --user call org.gnome.Shell /org/gnome/Shell org.gnome.Shell Eval s 'Meta.restart("Restarting Gnome...")'; \
else \
gnome-session-quit --logout; \
fi
Failed to set address: No such file or directory
make: *** [Makefile:69: restart-shell] Error 1

emanlluf
July 23rd, 2020, 08:50 PM
just download the zip file {https://github.com/pop-os/shell/archive/master_focal.zip} instead of git clone and then ./rebuild.sh