In ubuntu 18.04 with default desktop, behaviour of logout/login has changed:
Previously on an Ubuntu system, when I find that I need to add my user id to some group, it was sufficient to
sudo adduser ludwig docker # adds me to group docker
and then I had to logout and login again to make the group change effective.
I notice that with Ubuntu 18.04, after adding the group and logging out and back in, the list of effective groups is still unchanged.
As a workaround I rebooted the system, which is inconvenient (requires making the right selection in grub and re-entering the disk encryption password).
- Why is the behaviour now like this?
- Can I do something else short of rebooting?
(I know I can ssh into localhost and get the correct groups in the ssh session only. This is also too inconvenient.)