Skip to content

Does this tool still work? #3

@andreasabel

Description

@andreasabel

dblp is producing the empty output. I am on Mac OS X Mojave with TeXLive 2018:

$ gem install dblp

$ cat papersUsingAgda.aux 

\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\bibdata{papersUsingAgda}
\bibstyle{abbrvnat}
\citation{DBLP:journals/pacmpl/0001OV18}
\citation{DBLP:journals/jfp/AbelAS17}
\@writefile{toc}{\contentsline {section}{\numberline {1}2018}{1}{section.1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}2017}{1}{section.2}}

$ dblp -o papersUsingAgda.bib papersUsingAgda.aux

This is BibTeX, Version 0.99d (TeX Live 2018)
The top-level auxiliary file: papersUsingAgda.aux
The style file: abbrvnat.bst
Database file #1: papersUsingAgda.bib
Warning--I didn't find a database entry for "DBLP:journals/pacmpl/0001OV18"
Warning--I didn't find a database entry for "DBLP:journals/jfp/AbelAS17"
(There were 2 warnings)
true
Stored 2 entries in papersUsingAgda.bib

$ cat papersUsingAgda.bib

(empty output)

$ 

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions