pull/144/head
Vince 4 years ago
parent 8742a5b120
commit 89e77974e3

@ -20,6 +20,11 @@ THEME_COLORS=('default' 'purple' 'pink' 'red' 'orange' 'yellow' 'green' 'grey')
COLOR_VARIANTS=('' '-light' '-dark') COLOR_VARIANTS=('' '-light' '-dark')
SIZE_VARIANTS=('' '-compact') SIZE_VARIANTS=('' '-compact')
# Check command availability
function has_command() {
command -v $1 > /dev/null
}
if [[ "$(command -v gnome-shell)" ]]; then if [[ "$(command -v gnome-shell)" ]]; then
SHELL_VERSION="$(gnome-shell --version | cut -d ' ' -f 3 | cut -d . -f -1)" SHELL_VERSION="$(gnome-shell --version | cut -d ' ' -f 3 | cut -d . -f -1)"
if [[ "${SHELL_VERSION:-}" -ge "40" ]]; then if [[ "${SHELL_VERSION:-}" -ge "40" ]]; then

Loading…
Cancel
Save