Skip to content
Snippets Groups Projects
Commit b9b813f7 authored by Kevin Lyda's avatar Kevin Lyda :speech_balloon:
Browse files

More discussion in the README.

parent 3a5b3c4e
Branches
Tags
No related merge requests found
...@@ -59,6 +59,11 @@ make the repo. A number of things had to be done to get them ready for ...@@ -59,6 +59,11 @@ make the repo. A number of things had to be done to get them ready for
a proper historical source code archive. The commit logs for this repo a proper historical source code archive. The commit logs for this repo
cover those steps, but to explain in a bit more detail: cover those steps, but to explain in a bit more detail:
### Dependencies
The shell snippets assume zsh (the `**/*.ext` idiom gets used a lot).
Need a `gcc` toolchain. Need the `unzip` and `zoo` utilities.
### File conversions ### File conversions
Some files are in VMS record formats. These are handled by Some files are in VMS record formats. These are handled by
...@@ -74,6 +79,26 @@ into mbox files. ...@@ -74,6 +79,26 @@ into mbox files.
Within the zip files there are sometimes other archive files. Within the zip files there are sometimes other archive files.
These had to be extracted. These had to be extracted.
For .zoo files:
```
for f in **/*.zoo; do
(cd ${f%\/*} && zoo -extract ${f##*\/} && git rm ${f##*\/});
done
```
For .zip files:
```
for f in **/*.zip; do
(cd ${f%\/*} && unzip ${f##*\/} && git rm ${f##*\/});
done
```
### General cleanup
* Removed exe and obj files: `git rm **/*.{exe,obj}`
### Committing to the BULLETIN git repo ### Committing to the BULLETIN git repo
To get the right dates and authors in git, need to tweak these environment To get the right dates and authors in git, need to tweak these environment
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment