Skip to content

Commit 11a4dfd

Browse files
Move detailed install commands to README end
README-only front-door install detail relocation.
1 parent 7f1dde0 commit 11a4dfd

1 file changed

Lines changed: 26 additions & 13 deletions

File tree

README.md

Lines changed: 26 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,13 @@
11
# ZeroShip
22

3-
## Install / Developer Commands
4-
5-
<!-- INSTALL-DX:START -->
6-
#### Package Boundary
3+
## Package Boundary
74

85
No public implementation package, PyPI distribution, or CLI is claimed for this repository.
96
Use the repo-local source, dossier, or proof commands below; do not substitute an unrelated PyPI package.
10-
<!-- INSTALL-DX:END -->
117

12-
#### Quick Start
8+
For full install, smoke, source, and developer commands, [click here](#install-developer-commands-detailed).
139

14-
```bash
15-
git clone https://github.com/Zer0pa/ZeroShip.git
16-
cd ZeroShip
17-
sed -n '1,220p' README.md
18-
sed -n '1,240p' DEVELOPMENT-STATUS.md
19-
find proofs -maxdepth 3 -type f | sort
20-
```
10+
---
2111

2212
<table width="100%">
2313
<tr>
@@ -289,3 +279,26 @@ find proofs -maxdepth 3 -type f | sort
289279
</td>
290280
</tr>
291281
</table>
282+
283+
---
284+
285+
<a id="install-developer-commands-detailed"></a>
286+
287+
## Install / Developer Commands Detailed
288+
289+
<!-- INSTALL-DX:START -->
290+
#### Package Boundary
291+
292+
No public implementation package, PyPI distribution, or CLI is claimed for this repository.
293+
Use the repo-local source, dossier, or proof commands below; do not substitute an unrelated PyPI package.
294+
<!-- INSTALL-DX:END -->
295+
296+
#### Quick Start
297+
298+
```bash
299+
git clone https://github.com/Zer0pa/ZeroShip.git
300+
cd ZeroShip
301+
sed -n '1,220p' README.md
302+
sed -n '1,240p' DEVELOPMENT-STATUS.md
303+
find proofs -maxdepth 3 -type f | sort
304+
```

0 commit comments

Comments
 (0)