HDMI through Thunderbolt 4 port not working on Redrix

Fedora and Ubuntu do not automatically do eDP through USB-C on Redrix as of how. The good thing is that HDMI through USB-C is possible with ectool. After connecting the adapter and HDMI cable, running

# Left port
sudo ectool typeccontrol 0 2 0
# Right port
sudo ectool typeccontrol 1 2 0

puts the port into DP mode and Linux is able to use the monitor like normal.

My guess is that there is a bug with Linux automatic USB-C switching stuff or something.