I partially solved the issue by simply having terrestrial dtv channels and satellite channels chosen as “My channels” in the home menu.
I don’t have to go to settings everytime to switch.
It isn’t a problem unless you crave watching every single channel on satellite and terrestrial tv.
It is useful to have a selection of favorites.