Re: [vbox-dev] Patch to bug #17884

2018-07-24 Thread Michael Kielstra
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

Re: [vbox-dev] Patch to bug #17884

2018-07-24 Thread Michael Thayer
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,

Re: [vbox-dev] Patch to bug #17884

2018-07-24 Thread Michael Thayer
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