You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I just verified that curl -JLO <download URL> correctly names the output files based on their server side name, so we should change the databases page to suggest that as the download command.
(Plus, it's easy to remember! j-lo! Or is that just my generation?)
The text was updated successfully, but these errors were encountered:
ctb
added a commit
that referenced
this issue
May 6, 2022
I just verified that
curl -JLO <download URL>
correctly names the output files based on their server side name, so we should change the databases page to suggest that as the download command.(Plus, it's easy to remember! j-lo! Or is that just my generation?)
The text was updated successfully, but these errors were encountered: