Hacker News new | ask | show | jobs
by LgWoodenBadger 747 days ago
FYI, you can use the Keyboard preferences page in System Settings to assign things like “lock screen” (I forget exactly what it’s called) to a key (F15 I think I used).

I don’t know if Restart or Shutdown are allowable choices.