Hm, a very inelegant solution: have two versions of config.ini (differing in networking details), development SW, 'Quit' option on player, and a piece of script in /etc/profile that will ask (using picker or something equivalent) which version to copy over the current file.