Or you could use the Georgia AV multiplexer. Carefully label each of the HDMI input cables, marking them as "ATV", "DSB" or "CBL", "DVD", etc. on distinctly colored paper for each. Then plug in the two you use most often into the HDMI ports on your television. If you need to switch to another device, unplug one of the cables and plug in the one you want. It is a surprisingly inexpensive, if inelegant, solution, but it works well if the rear of your television is easily accessible and you have no shame.