We don't think this is a problem any more.
If the default lock function of your desktop environment isn't working you can try this workaround with xautolock
.
sudo apt-get install xautolock
Autolock runs a command after a given duration of inactivity. Your screensaver or "locker" usually has a programmatic way to lock the screen. How that command looks like depends on which environment you're using.
xautolock -time 10 -locker "mate-screensaver-command -l"
The time is given in minutes.
xautolock -time 10 -locker "dm-tool lock"
The time is given in minutes.
sudo apt-get install gnome-screensaver
gnome-session-properties
): xautolock -time 10 -locker "gnome-screensaver-command -l"
The time is given in minutes.