https://digitalixy.com/tech/maude/devops/how-to-manage-an-ssh-config-file-in-windows-linux/