2020-07-15 Change default shell for Linux