diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2020-07-02 15:55:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-02 15:55:59 -0700 |
| commit | 441dd5ad45fc65468ab05b6e6b3409cfdf70dfbd (patch) | |
| tree | 7deebca39513ad78476d9dde8d4203556901c411 /src/librustdoc/html/static/source-script.js | |
| parent | 7ad8ed96f287e13441caf3c51226159e3b86d119 (diff) | |
| parent | 4dc5685220466d67bb009c3dec08d8a89aeddd0e (diff) | |
| download | rust-441dd5ad45fc65468ab05b6e6b3409cfdf70dfbd.tar.gz rust-441dd5ad45fc65468ab05b6e6b3409cfdf70dfbd.zip | |
Rollup merge of #73952 - ehuss:docker-dev, r=Mark-Simulacrum
Add option for local docker testing. This adds the option `--dev` to `src/ci/docker/run.sh` so that it will enter an interactive environment for local testing. I have often needed this for testing things, but I always needed to edit this script. I wanted the ability to interact in the environment, run different commands, inspect errors, etc.
Diffstat (limited to 'src/librustdoc/html/static/source-script.js')
0 files changed, 0 insertions, 0 deletions