2023-01-11 20:18:57 -08:00
|
|
|
{{- if (eq .host.distro.family "linux") -}}
|
|
|
|
#!/usr/bin/env bash
|
2023-01-11 22:48:39 -08:00
|
|
|
|
2023-01-11 20:18:57 -08:00
|
|
|
# enabled extensions: {{ output "dconf" "read" "/org/gnome/shell/enabled-extensions" }}
|
|
|
|
|
|
|
|
{{ includeTemplate "universal/profile" }}
|
|
|
|
{{ includeTemplate "universal/logg" }}
|
|
|
|
|
|
|
|
### Fix for Ubuntu default extension conflicting with dash-to-dock
|
|
|
|
if dconf read /org/gnome/shell/enabled-extensions | grep dash-to-dock > /dev/null; then
|
2023-01-11 22:20:13 -08:00
|
|
|
if [ -d '/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com' ]; then
|
2023-01-11 22:32:13 -08:00
|
|
|
if [ ! -d /usr/share/gnome-shell/extensions/disabled ]; then
|
2023-01-11 20:18:57 -08:00
|
|
|
sudo mkdir /usr/share/gnome-shell/extensions/disabled
|
|
|
|
logg info 'Created /usr/share/gnome-shell/extensions/disabled for GNOME extensions that have issues'
|
|
|
|
fi
|
2023-01-11 22:20:13 -08:00
|
|
|
sudo mv '/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com' '/usr/share/gnome-shell/extensions/disabled/ubuntu-dock@ubuntu.com'
|
|
|
|
logg info 'Moved ubuntu-dock@ubuntu.com to the disabled extension folder'
|
2023-01-11 20:18:57 -08:00
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
{{ end -}}
|