| 1 | source.medo
|
| 2 | ===========
|
| 3 |
|
| 4 | Add these files:
|
| 5 |
|
| 6 |
|
| 7 | deps/source.medo
|
| 8 | wild-corpus/
|
| 9 | 2023-03-02.treeptr # not a WEDGE because it doesn't need to be built.
|
| 10 | # But it is versioned
|
| 11 | mypy/
|
| 12 | 0.780.treeptr # uses 'git' , not 'tar'
|
| 13 |
|
| 14 | mypy-venv/ # depends on mypy-0.780
|
| 15 | WEDGE
|
| 16 | - I guess it's relative and goes in ~/wedge/oils-for-unix.org/mypy-venv/0..780 ?
|
| 17 |
|
| 18 | - Or is it possible to put them both in a sidecar? LIke wild-corpus
|
| 19 | - `~/git/oilshell/oil_DEPS/`
|
| 20 | - `~/git/oilshell/oil2_DEPS/`
|
| 21 | - Reference with `../$(basename $REPO_ROOT)_DEPS/`
|
| 22 | - But then the data is duplicated
|
| 23 |
|
| 24 |
|
| 25 |
|
| 26 |
|
| 27 |
|