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.

Sign up for GitHub

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

Jump to bottom

Citations #68

Closed
TOTBWF opened this issue May 7, 2022 · 2 comments · Fixed by #69
Closed

Citations #68

TOTBWF opened this issue May 7, 2022 · 2 comments · Fixed by #69
Assignees
@SquidDev
Projects
Web

Comments

@TOTBWF
Copy link
Collaborator

TOTBWF commented May 7, 2022

As the 1Lab grows, we should be mindful of properly citing our sources! For instance, #67 pulls quite a bit from multiple sources, and it would be great if we had a nice way of giving credit. Perhaps @SquidDev has some thoughts?
@plt-amy
Copy link
Owner

plt-amy commented May 7, 2022

Here's the pandoc documentation on citations:

I think we can specify our citations in either biblatex/bibtex in a global file (maybe under /src/ to avoid polluting / even more)

@plt-amy
Copy link
Owner

plt-amy commented May 7, 2022

Impl. idea:

@plt-amy plt-amy added this to To do in Web May 8, 2022
SquidDev added a commit that referenced this issue May 9, 2022
@SquidDev
Basic citation support
6133f1f 
 - Convert git authors to an oracle cache. When you need to rebuild a
   lot of pages, this can get quite slow, so useful to save between
   runs.
 - Add a bibliography to the source tree (with a single citation in) and
   get Pandoc to read that.
 - Do some massaging to the parsed Markdown/HTML to put the references
   block at the very end of the page (after footnotes). Also patch up
   citation links to include the paper's title:

     [Steele 2017](#ref-Steele2017)

   becomes

     [Steele 2017](#ref-Steele2017 "It’s Time for a New Old Language")

Closes #68
@SquidDev SquidDev mentioned this issue May 9, 2022
Merged
plt-amy pushed a commit that referenced this issue May 9, 2022
@SquidDev
Basic citation support (#69)
8fd4400 
* Basic citation support

 - Convert git authors to an oracle cache. When you need to rebuild a
   lot of pages, this can get quite slow, so useful to save between
   runs.
 - Add a bibliography to the source tree (with a single citation in) and
   get Pandoc to read that.
 - Do some massaging to the parsed Markdown/HTML to put the references
   block at the very end of the page (after footnotes). Also patch up
   citation links to include the paper's title:

     [Steele 2017](#ref-Steele2017)

   becomes

     [Steele 2017](#ref-Steele2017 "It’s Time for a New Old Language")

Closes #68

* Take a more structured approach to references

Basically try to parse our references from the tree Pandoc produces
(it's gross, I know, but otherwise we need to copy a lot of Pandoc's
internal logic) and then emit them within the template itself.
@SquidDev SquidDev moved this from To do to Done in Web May 10, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@SquidDev SquidDev

Labels
None yet
Projects
Web
Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Basic citation support plt-amy/1lab
3 participants
@SquidDev @TOTBWF @plt-amy