-
Notifications
You must be signed in to change notification settings - Fork 8
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
Fixed some typos found via Clojure-LosAngeles. #5
Conversation
Thanks, @bombaywalla ! (Nice nick, btw.) I'll have a look on Monday for the Redeploying the tutorial is, unfortunately, a bit of a hassle. (There are a lot of actions that require the Nextjournal GUI and can't be automated.) Do you have more commits coming? If you do, I might batch them all up before pushing them to Nextjournal. |
I do not have further commits for now. Other than the id changes to |
I'm researching this, but I'll take notes while things are in flight since I'm not sure I'll be able to resolve this today. I found this document, which describes the Nextjournal Markdown format: https://nextjournal.com/nextjournal/markdown-format-reference I've also added the |
@bombaywalla It really looks like there's some way to import the sample data files along with the Markdown import. I just can't tell what it is. I've emailed the @nextjournal folks asking for help. |
Thanks for the update @deobald There are two other files that would need to be downloaded as well. |
@bombaywalla The Nextjournal folks got back to me and suggested we try an experimental "GitHub Explorer" feature:
I'm torn. I like the idea of automating everything using the GitHub Explorer (I'm not sure if a GitHub Component can be added via Markdown) but I'm a bit nervous about using an experimental feature. The alternative would be to store the Perhaps if one (or both) of us can try out the GitHub Explorer — and if we're happy with it — we can go that route. |
I am not familiar with NextJournal (other than running the tutorials). My understanding of the above is:
Does the above match your understanding? Yeah, I see that the README has a lot of manual steps for maintainers to re-install the notebooks. So, manually copying over the files, for now, might be okay. Will try out Github Explorer in the next few days and report back. |
7db8690
to
77eca06
Compare
@bombaywalla I got another reply from the @nextjournal folks that I'll paste here so it's public on this thread:
|
Yup! That's pretty much it: a deep copy into the user's namespace. For the Learn Datalog tutorials we can cheat a little bit because there is a hidden URL at
At the moment, all the
My understanding is that it's "mounted" into the notebook... but I have a feeling that involves a local copy? I haven't tried the GitHub Component thing yet though, so your guess is probably as good as mine. :)
Let me introduce @johantonelli — she might have some cycles to help with this and maybe (just maybe) we can find a more automated way to do deployments while we're at it. (Perhaps by poking the NJ team some more.) If we can, it would be great to avoid any additional manual steps. I've broken this conversation out into some separate issues since I'm really abusing @bombaywalla 's PR here. 😜 #7 - automated deployments |
Some minor documentation typos.
Address a part of issue #4
I was not able to find the
commodities.txt
(and other such) file in the repo to fix the ids.My guess is that the files are not downloaded from nextjournal into this repo.