Currently, the tracing destination file is created automatically with a randomly-generated name in the /tmp/codespaces_logs directory. To improve the API, accept --trace-dest to allow specifying tracing file destination instead. In the future this option can also accept non-file destinations, like stdout to pipe the tracing stream directly into the parent shell.
legomushroom
commented
2 years ago
Currently, the tracing destination file is created automatically with a randomly-generated name in the
/tmp/codespaces_logsdirectory. To improve the API, accept--trace-destto allow specifying tracing file destination instead. In the future this option can also accept non-file destinations, likestdoutto pipe the tracing stream directly into the parent shell.