2023-01-24 11:29:33 +00:00
|
|
|
{{- if eq .host.distro.family "linux" -}}
|
|
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
### Restart GNOME
|
|
|
|
|
if command -v gnome-shell > /dev/null; then
|
2023-01-26 03:32:23 +00:00
|
|
|
logg info 'Manually reload `gnome-shell`'
|
|
|
|
|
# logg info 'Reloading `gnome-shell`'
|
|
|
|
|
# killall -3 gnome-shell
|
2023-01-24 11:29:33 +00:00
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
{{ end -}}
|
