Importing Data to PostgreSQL
Isabelle's Search command relies on a pre-existing PostgreSQL database on the same server. I have already provided the data file that is located in the main repository.
The data is located in data.csv, and the PostgreSQL import code is located in setBugFish.psql.
The SQL code requires an absolute path to your data file in order to import the code. You can find your path by using pwd.
After you get your path, make sure to append data.csv to the end. In my case, the path that I will insert into setBugFish.psql is: /home/yiping/go/src/github.com/yiping-allison/isabelle/data.csv.
After you set your path, you can import the CSV file into Postgre using:
psql -U [username] -d [database] < setBugFish.psql
If you followed all the steps correctly so far, you should see a message that a table with 160 values has been created. At this point, you are done with the hard setup!