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