https://ansidev.xyz/posts/2022-08-24-change-default-shell-on-unix