You're probably right. At least we're aware it's an issue that might come up
if GNOME terminal is updated again and loses the -x option permanently.
Michael
-Original Message-
From: Michael Thayer
Sent: Tuesday, 24 July 2018 12:14
To: Michael Kielstra
Cc: VirtualBox developer's list
Looking at the source code of GNOME Terminal in CentOS 4, it does not
seem to recognise the "--" option. So we would need at the least to
support both forms, but as long as the old form works, I would tend to
postpone the change and work on more current things.
Regards
Michael
24.07.2018 12:06,
It seems I accidentally took the mailing list off CC. Adding it back
on. That means that it will break for GNOME Terminal in than 2012, but
not 2004. CentOS 4 GNOME Terminal was last updated in 2005, so it needs
checking how that will be affected.
Regards
Michael
23.07.2018 18:47, Michael