https://digitalixy.com/tech/maude/410423/how-to-determine-the-current-user-account-in-linux/