02db464030
gLinux doesn't use `lightdm.service` (you can confirm this by seeing if `lightdm` is listed in the units reported by calling `systemctl`). I found `gdm` (i.e. Gnome Display Manager), and it appears that calling... ```shell systemctl restart gdm.service ``` ...does the trick. Change-Id: Iff47d20db57ce11138f9af943fe64cc18068f5bb Reviewed-on: https://cl.tvl.fyi/c/depot/+/4798 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> |
||
---|---|---|
.. | ||
snippets | ||
vendor | ||
wpc | ||
init.el | ||
opam-user-setup.el |