https://rahulchandna.com/posts/linux-change-default-shell/