Shell utilities for swapping application config profiles under linux