rust-core_io/README.md

56 lines
2.1 KiB
Markdown
Raw Normal View History

2023-03-21 04:36:35 +08:00
# INTENT TO ARCHIVE
This repository will be archived in the near future. Discussion at https://github.com/jethrogb/rust-core_io/issues/38
# core_io
2019-05-01 07:19:12 +08:00
[![Build Status](https://travis-ci.com/jethrogb/rust-core_io.svg?branch=master)](https://travis-ci.com/jethrogb/rust-core_io)
`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
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:
```
$ echo FULL_COMMIT_ID ...|GIT_DIR=/your/rust/dir/.git ./build-src.sh
2016-07-08 14:15:00 +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).