Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add a helper script to copy files from cluster #50

Open
wants to merge 6 commits into
base: main
Choose a base branch
from

Conversation

nbiederbeck
Copy link
Owner

@nbiederbeck nbiederbeck commented Apr 21, 2023

Fixes #29.

## To Do
- [ ] The filelist must be populated.
- [ ] Need to decide where to copy stuff. build/ is deleted if you are incautious. Others are tracked by git. Might be configurable or irrelevant, since it is re-downloadable.

Decided that the script copies built files into the local build/ directory. The files are small enough to copy them again and again, and maybe one must try to not clean those up.

@nbiederbeck nbiederbeck force-pushed the 29-helper-script-to-copy-files branch from 2570581 to 9d46e5f Compare May 5, 2023 09:41
@nbiederbeck nbiederbeck marked this pull request as ready for review May 5, 2023 10:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

generate a helper scipt to copy "local" files
1 participant