Re: [dev-servo] PSA: Servo now uses rustup.rs, you can probably free up some disk space

2018-01-13 Thread pyfisch
Thanks. The .cargo folder contained .cargo/git and .cargo/registry but also the file. .cargo/config. So in the future it will only ever contain this one file? ___ dev-servo mailing list dev-servo@lists.mozilla.org

Re: [dev-servo] PSA: Servo now uses rustup.rs, you can probably free up some disk space

2018-01-13 Thread Simon Sapin
On 13/01/18 23:35, pyfi...@gmail.com wrote: Hi, I deleted .cargo and noticed that there was a file .cargo/config in this folder which is still part of the git repo. (https://github.com/servo/servo/blob/7b92eb932b34ce1a4b823b2571a50a928491b4b2/.cargo/config) Is it still needed or can it be

Re: [dev-servo] PSA: Servo now uses rustup.rs, you can probably free up some disk space

2018-01-13 Thread pyfisch
> Similarly, in the default config we used to override $CARGO_HOME (which > contains a cache of crates.io and git dependencies) to .cargo under the > repo. You also remove that, now we leave the environment’s $CARGO_HOME > (which defaults to ~/.cargo). This cache is now shared with other clones

[dev-servo] PSA: Servo now uses rustup.rs, you can probably free up some disk space

2018-01-11 Thread Simon Sapin
https://github.com/servo/servo/pull/19395 has (finally) landed. Instead of custom scripts, Servo now uses rustup.rs (which needs to be installed separately) to download and manage various versions of Rust and Cargo. These files are kept under $RUSTUP_HOME/toolchains. $RUSTUP_HOME defaults to