terminal dev (keyboard)