Only push ENABLED extensions
This commit is contained in:
parent
62804ababa
commit
ccf3caee81
|
@ -134,13 +134,13 @@ function push-extensions {
|
||||||
echo "gnome-extensions is not installed!"
|
echo "gnome-extensions is not installed!"
|
||||||
return
|
return
|
||||||
fi
|
fi
|
||||||
mv $HOME/.tmp/gnome-extension-list $HOME/.tmp/prev-gnome-extension-list &> /dev/null
|
mv $HOME/.tmp/gnome-extension-list "$HOME/.tmp/prev-gnome-extension-list" &> /dev/null
|
||||||
gnome-extensions list > $HOME/.tmp/gnome-extension-list
|
gnome-extensions list --enabled > "$HOME/.tmp/gnome-extension-list"
|
||||||
# If there is NO difference, skip scp
|
# If there is NO difference, skip scp
|
||||||
if [[ "$1" != "--force" ]] && diff $HOME/.tmp/gnome-extension-list $HOME/.tmp/prev-gnome-extension-list &> /dev/null; then
|
if [[ "$1" != "--force" ]] && diff "$HOME/.tmp/gnome-extension-list" "$HOME/.tmp/prev-gnome-extension-list" &> /dev/null; then
|
||||||
return
|
return
|
||||||
fi
|
fi
|
||||||
scp -P 11275 $HOME/.tmp/gnome-extension-list 'sage@sagev.space:~/gnome-extension-list'
|
scp -P 11275 "$HOME/.tmp/gnome-extension-list" 'sage@sagev.space:~/gnome-extension-list'
|
||||||
}
|
}
|
||||||
|
|
||||||
function merge-hist {
|
function merge-hist {
|
||||||
|
|
Loading…
Reference in New Issue