search

MathHubInfo / ISFA

https://mathhubinfo.github.io/ISFA
4 stars 3 forks source link

make a more orienting README #9

Open kohlhase opened 7 years ago

kohlhase commented 7 years ago

when I come to this repos, I would like to quickly know

ja-albert commented 1 year ago

Also: How to use it?

  1. Install sbt: https://www.scala-sbt.org/download.html
  2. Currently: Get the changes of https://github.com/MathHubInfo/ISFA/pull/11 and the patches in the comment (Copy
  3. Have a running MongoDB 5.x instance - version 6 drops support for the insert operation: Get it from Docker-Hub docker pull mongo:5 and run it docker run -d -p 27017:27017 --name mongo mongo:5
  4. Copy all the OEIS files (that is, the A\d{6}\.txt files) to all/
  5. Run ISFA: sbt "runMain library.Library" (Caution: This does not remove documents in the database. Running it again will add all documents again, doubling the document count)
  6. Retrieve the documents from the database as a JSON file oeis.json: docker exec -it mongo mongoexport --db OEIS --collection theory_verified --out oeis.json && docker cp mongo:/oeis.json .
ja-albert commented 1 year ago

Also: How to use it?

  1. Install sbt: https://www.scala-sbt.org/download.html
  2. Currently: Get the changes of Updating ISFA #11 and the patches in the comment (Copy
  3. Have a running MongoDB 5.x instance - version 6 drops support for the insert operation: Get it from Docker-Hub docker pull mongo:5 and run it docker run -d -p 27017:27017 --name mongo mongo:5
  4. Copy all the OEIS files (that is, the A\d{6}\.txt files) to all/
  5. Run ISFA: sbt "runMain library.Library" (Caution: This does not remove documents in the database. Running it again will add all documents again, doubling the document count)
  6. Retrieve the documents from the database as a JSON file oeis.json: docker exec -it mongo mongoexport --db OEIS --collection theory_verified --out oeis.json && docker cp mongo:/oeis.json .

Added in #12