hey-so-my-space-bar-is-broken,-how-can-I-bind-another-key-to-make-a-space-on-Linux-as-a-workaround-until-I-can-replace-that-keyboard?