Adding axtra space in command used by "tramp-do-file-attributes-with-stat", possible?

[Gilles Pion]

Hello,

I have a problem with double parenthesis without embedded space inside remote
command "tramp-do-file-attributes-with-stat"

To be able to use tramp on an exotic remote environment (Opsware "global shell")
I've been forced to create a specific tramp method using /bin/ksh for
"tramp-remote-sh" (because bash has a bug with using "here" documents on that
platform)

It happens that on that machine /bin/ksh is in fact pdksh and  doesn't parse
correctly the sequences "((" used inside the following command template:

"((%s %s || %s -h %s) && %s -c '((\"%%N\")
 ^^ <-- here                    ^^ <--  and here

I suppose that adding an extra space between the two opened parenthesis would
not break anything, do you agree?



--
Gilles