TIP Set default terminal application in Omarchy If for whatever reason you don't wanna use Ghostty Nov 24, 2025