linux - How to type Numpad Enter, if there's no such key on the ...