https://ihaveapc.com/2018/11/how-to-set-custom-keyboard-shortcuts-in-ubuntu-18-04/