gnome terminal doesn't recognize common URLs (https:// for instance) many common URLs are not recognized by gnome-terminal. commas, and other bits of punctuation are common in URLs but gnome-terminal doesn't respect them... http:// works, but https:// does not. there are many others, so whoever fixes this should seek out the appropriate RFC and make them all work. Stig
This issue appears to be fixed in the current release. gnome-terminal dingus-highlights https://www.gnome.org/foo,bar#baz just fine.