My personnal scripts. Free to use.
vfio:
- scripts, and tools used for vfio vga passthrough
hdmi_switcher:
- automatic switching to hdmi audio output when it is plugged in
(and disable when unplugged)
optimus:
- Fixing some derps of a graphic card with bumblebee