/usr/bin/reboot leaves keyboard unusable after reboot, 'i3wm reboot' works correctly

If I open a terminal and use /usr/bin/reboot, the machine reboots but BIOS cannot recognize the keyboard (perhaps other USB devices too, but the keyboard has a LED to inform that it's connected) and requires a physical replug.

If I use mod+0, r to trigger i3wm reboot, the keyboard is picked up by BIOS.

Is this solvable?

Don't do that. The proper way is systemctl reboot

You mean i3exit reboot ?

I don't see what the issue is. You already have the good options provided by the install to properly reboot the system.

I assumed it is the same thing, since:

ls -l /usr/bin/reboot                                                                                  
lrwxrwxrwx 1 root root 9 24. čen 08.17 /usr/bin/reboot -> systemctl

Did I assume wrong?

Yes, typo.

Knowing that a Linux distribution is using systemd, I expect reboot (and systemctl reboot) to "just work". Currently it misbehaves. That is the issue.

I am going to try systemctl reboot and report back.

reboot is a dirty way to do it
systemctl reboot is the safe and proper way to do it.
both do in principle the same thing, but in particular cases not, and only the later one properly stops services before rebooting the system. Same with systemctl poweroff.

I cannot reproduce this anymore. Tried many times with many ways with many system loads. Perhaps there's a race condition in software or hardware.

Forum kindly sponsored by