May 30, 2022 Replying to: @hjertnes @hjertnes That’s good to hear. I should probably just take the plunge and set it as my login shell.