File tree Expand file tree Collapse file tree 1 file changed +9
-8
lines changed
Expand file tree Collapse file tree 1 file changed +9
-8
lines changed Original file line number Diff line number Diff line change 11#! /usr/bin/env bash
22BASEDIR=" $( cd " $( dirname " ${BASH_SOURCE[0]} " ) " && pwd) "
3- while read package; do
4- gnome-extensions install " $package " >> /dev/null
5- if [[ $? -eq 0 ]]; then
6- echo " $package is installed from gnome shell extensions!"
7- else
8- echo " $package " >> " $BASEDIR /../gnome_shell_ext_failed.txt"
9- fi
10- done < " $BASEDIR /../packages/pipx.txt"
3+ while read -r package; do
4+ gnome-extensions-cli install " $package " >> /dev/null
5+
6+ if [[ $? -eq 0 ]]; then
7+ echo " $package is installed from gnome shell extensions!"
8+ else
9+ echo " $package " >> " $BASEDIR /../gnome_shell_ext_failed.txt"
10+ fi
11+ done < " $BASEDIR /../packages/gnome-shell-ext.txt"
1112echo " Make sure to relogin to activate the newly installed extensions!"
You can’t perform that action at this time.
0 commit comments