Raspberry Pi video out switcher AV-HDMI with GPIO button
sudo apt-get install python-rpi.gpio python3-rpi.gpio
sudo git clone https://github.com/sergiopoverony/video_switch.git
cd video_switch
sudo bash install.sh
GPIO21 and button (You can edit GPIO in script)
Python
SergioPoverony and https://github.com/FWGS