https://digitalixy.com/zh-TW/tech/maude/427004/how-to-use-the-pinky-command-on-linux/