Call /ide/bin/code explicitely instead of relying on PATH#3846
Merged
akosyakov merged 1 commit intogitpod-io:mainfrom Apr 8, 2021
pattacini:patch-1
/ide/bin/code explicitely instead of relying on PATH#3846