https://peterwitham.com/videos/how-to-customize-keyboard-shortcuts-for-linux-on-a-mac/