diff options
Diffstat (limited to 'README.org')
| -rw-r--r-- | README.org | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/README.org b/README.org index fbc5705..b688d3e 100644 --- a/README.org +++ b/README.org @@ -22,15 +22,15 @@ brackets with the appropriate values. (port . <port-here>)) #+END_SRC -Then, to dump the database, run +Then, to dump the database to ~/data/dump, run #+BEGIN_SRC shell - $ ./pre-inst-env ./dump.scm + $ ./pre-inst-env ./dump.scm conn.scm ~/data/dump #+END_SRC -The database will be dumped to ~/data/dump/. Make sure there is enough -free space! It's best to dump the database on penguin2 where disk -space and bandwidth are not significant constraints. +Make sure there is enough free space! It's best to dump the database +on penguin2 where disk space and bandwidth are not significant +constraints. * Contributing |