Comment passer un caractère pipe cité à cmd.exe ?

Question

Je veux invoquer :

"c:\(...)\devenv.com" foo.sln /build "Debug|Win32"

en utilisant cmd.exe. D'après mon expérience, cmd.exe supprime soit la première paire de guillemets (ce qui fait que l'exécutable n'est pas trouvé), soit la deuxième paire de guillemets (ce qui fait que le caractère pipe est mal interprété). Comment passer un caractère pipe entre guillemets à cmd.exe ?

Answer 1

Vous pouvez soit le faire de la manière dont vous le faites ici, en entourant la chaîne de caractères de la balise | entre guillemets.

Ou vous pouvez l'échapper avec l'option accent circonflexe ^ :

"c:\(...)\devenv.com" foo.sln /build Debug^|Win32

En passant, pourquoi le construire avec DevEnv au lieu de MSBuild ?

Answer 2

Le caractère caret (^) est un caractère spécial de l'interpréteur de commandes permettant d'échapper à des caractères tels que <, >, (, ), ...

cmd/c "echo Hello ^"  World"

Sortie

Hello " World

Answer 3

Voici une autre solution (contournement ?) que j'ai trouvée :

Tout d'abord, assurez-vous qu'une variable d'environnement définit le caractère pipe, par exemple :
set PIPE="|"

plus tard, exécutez la commande en spécifiant le nom de la variable d'environnement définie ci-dessus :
"c:\(...)\devenv.com" foo.sln /build Debug%PIPE%Win32

Cela fait l'affaire même s'il y a plusieurs wrappers entre l'appelant et l'appelé. Je l'utilise maintenant avec une très longue chaîne de wrappers : Python/Linux -> executeProcess de l'invité VirtualBox -> Cmd/Windows -> devenv.com