https://wwtyrd.com/zh-TW/tech/oren/customize-windows-terminal-profiles/