It turns out that industrial push buttons have standardized ... one provides a simple, one-button screen lock on a Linux box running a virtual machine at his place of work. It first disengages ...