pomp/setup-script-py
1
0
Fork 0
Code Activity

replaced broken package

Browse source
This commit is contained in:
Kim, Jimin 2021-10-11 21:00:27 +09:00
parent 05ee2545d1
commit fc6043272c
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
setup.sh
View file

@ -372,7 +372,7 @@ setup_gnome_apps() {
setup_gnome_extensions() {
package_install \
gnome-shell-extension-installer `# Installation of gnome extensions from command line` \
gnome-shell-extension-pop-shell `# for window tiling` \
gnome-shell-extension-pop-shell-git `# for window tiling` \
# install gnome extensions
log "installing gnome extensions"