Propagate shell port setting to configuration files of all distributions...

....