Propagate shell port setting to configuration files of all distributions.
Merge pull request #1763 from jotomo/shell-port-conf

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