diff options
| author | Ralf Jung <post@ralfj.de> | 2022-12-25 14:16:10 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-12-25 14:16:10 +0100 |
| commit | fed7e2c935f0ca1498333c365e87fefa0439d530 (patch) | |
| tree | 54a93963ee8314db3279933aaafa602c47590c91 | |
| parent | d23554fae855d884761d549cd6ee6537450b0f3c (diff) | |
| download | rust-fed7e2c935f0ca1498333c365e87fefa0439d530.tar.gz rust-fed7e2c935f0ca1498333c365e87fefa0439d530.zip | |
use cargo-install to install josh-proxy
| -rw-r--r-- | src/tools/miri/CONTRIBUTING.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/tools/miri/CONTRIBUTING.md b/src/tools/miri/CONTRIBUTING.md index 6efaefdefff..5b538691de1 100644 --- a/src/tools/miri/CONTRIBUTING.md +++ b/src/tools/miri/CONTRIBUTING.md @@ -233,14 +233,14 @@ You can also directly run Miri on a Rust source file: ## Advanced topic: Syncing with the rustc repo We use the [`josh` proxy](https://github.com/josh-project/josh) to transmit changes between the -rustc and Miri repositories. The eaisest way to run josh is via docker: +rustc and Miri repositories. ```sh -docker pull joshproject/josh-proxy:latest -docker run -it -p 8000:8000 -e JOSH_REMOTE=https://github.com -e JOSH_EXTRA_OPTS=--no-background -v josh-vol:/data/git joshproject/josh-proxy:latest +cargo +stable install josh-proxy --git https://github.com/josh-project/josh --tag r22.12.06 +josh-proxy --local=$HOME/.cache/josh --remote=https://github.com --no-background ``` -This sets up a local volume `josh-vol` for josh's cache. +This uses a directory `$HOME/.cache/josh` as a cache, to speed up repeated pulling/pushing. ### Importing changes from the rustc repo |