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

Fix repo-index #15

Merged
merged 1 commit into from
Jan 29, 2023
Merged

Fix repo-index #15

merged 1 commit into from
Jan 29, 2023

Conversation

derzahla
Copy link
Contributor

Sed syntax was not working in build.sh (not sure why exactly, since it was successful if I copied and pasted the sed commands and ran on the commandline with manual variable substitution). Anyway, these changes fix the issue while simplifying the sed syntax and in turn, entering a date for the repo index no longer requires escaping of forwardslashes.

Sed syntax was not working in build.sh (not sure why exactly, since it was successful if I copied and pasted the sed commands and ran on the commandline with manual variable substitution).  Anyway, these changes fix the issue while simplifying the sed syntax and in turn, entering a date for the repo index no longer requires escaping of forwardslashes.
@stevleibelt stevleibelt merged commit 69a8b9d into stevleibelt:master Jan 29, 2023
@stevleibelt
Copy link
Owner

Thanks @derzahla

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants