2016-07-09 10:44:18 +08:00
|
|
|
# core_io
|
|
|
|
|
|
2019-05-01 07:19:12 +08:00
|
|
|
[](https://travis-ci.com/jethrogb/rust-core_io)
|
|
|
|
|
|
2016-07-09 10:44:18 +08:00
|
|
|
`std::io` with all the parts that don't work in core removed.
|
|
|
|
|
|
2016-07-08 14:15:00 +08:00
|
|
|
## Adding new nightly versions
|
|
|
|
|
|
2016-07-09 10:44:18 +08:00
|
|
|
First, make sure the commit you want to add is fetch in the git tree at
|
2016-07-08 14:15:00 +08:00
|
|
|
`/your/rust/dir/.git`. Then, import the right source files:
|
|
|
|
|
|
|
|
|
|
```
|
2016-10-31 15:11:02 +08:00
|
|
|
$ echo FULL_COMMIT_ID ...|GIT_DIR=/your/rust/dir/.git ./build-src.sh
|
2016-07-08 14:15:00 +08:00
|
|
|
```
|
|
|
|
|
|
2016-07-09 10:44:18 +08:00
|
|
|
Instead of echoing in the commit IDs, you might pipe in `rustc-commit-db
|
2016-07-08 14:15:00 +08:00
|
|
|
list-valid`.
|
|
|
|
|
|
2016-11-03 13:13:26 +08:00
|
|
|
The build-src script will prompt you to create patches for new commits. You
|
|
|
|
|
will be dropped in a shell prompt with a temporary new, clean, git repository
|
|
|
|
|
just for this patch. Make any changes necessary to make it build. **Don't**
|
|
|
|
|
commit any changes! When exiting the shell and the script will use the working
|
|
|
|
|
tree diff as the patch. The temporary git repository will be deleted. Before
|
|
|
|
|
dropping into the shell, the script will show you nearby commits, you can try
|
|
|
|
|
to apply `$PATCH_DIR/that_commit.patch` and see if it works for you.
|
|
|
|
|
|
2017-04-10 05:06:38 +08:00
|
|
|
## Publishing
|
|
|
|
|
|
|
|
|
|
```
|
|
|
|
|
$ echo FULL_COMMIT_ID ...|GIT_DIR=/your/rust/dir/.git ./build-src.sh publish
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
Again, instead of echoing in the commit IDs, you might pipe in `rustc-commit-db
|
|
|
|
|
list-valid`.
|
|
|
|
|
|
2016-11-03 13:13:26 +08:00
|
|
|
## Editing patches
|
|
|
|
|
|
|
|
|
|
To edit all patches, again make a checkout of the rust source. Then, run:
|
|
|
|
|
|
|
|
|
|
```
|
|
|
|
|
$ GIT_DIR=/your/rust/dir/.git ./edit-patches.sh
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
The script will prompt you to make changes. You will be dropped in a shell
|
|
|
|
|
prompt with a temporary new, clean, git repository just for this patch edit.
|
|
|
|
|
The original patch will be the HEAD commit in the repository. Make any changes
|
|
|
|
|
you want. **Don't** commit any changes! When exiting the shell and the script
|
|
|
|
|
will use the diff between the working tree and the root commit as the patch.
|
|
|
|
|
The temporary git repository will be deleted. When editing further commits, the
|
|
|
|
|
previous patch changes will already be applied to the working tree (if
|
|
|
|
|
succesful).
|
