diff options
| author | colin <colin@cicadas.surf> | 2023-01-01 09:01:10 -0800 |
|---|---|---|
| committer | colin <colin@cicadas.surf> | 2023-01-01 09:01:10 -0800 |
| commit | 32310d910b8721f46c96cfb3709ca2d13da7b066 (patch) | |
| tree | a9119888faf1c0f7eb65bdb59e8dffe3e43c678c /HACKING | |
| parent | 23b40732d41589380d38235e67b27bdd9269b658 (diff) | |
Docs: Changed Hacking and Install docs
Diffstat (limited to 'HACKING')
| -rw-r--r-- | HACKING | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/HACKING b/HACKING deleted file mode 100644 index cf244f3..0000000 --- a/HACKING +++ /dev/null @@ -1,30 +0,0 @@ - -To hack on Vampire locally, here's what I'd do. - -1. copy the vampire static directory to your home dir, calling it vampire-static: - - cp -r /path/to/vampire.git/static ~/vampire-static - -2. Fire up SLIME and ensure that you can load vampire in quicklisp - - > (pushnew #P"/path/to/vampire.git/" ql:*local-project-directories*) - > (pushnew #P"/path/to/derrida.git/" ql:*local-project-directories*) - > (ql:quickload :vampire) - -3. Run (vampire::hacking-start), which will - - create a bknr.datastore in ~/vampire-store - - start the service - - open a browser tab and give it focus - -The first time you start up vampire, or anytime after deleting -~/vampire-store/, you'll need to make a new invite so you can make an -account for your local use: - -4. Make an invite to use: - - > (in-package :vampire) - > (with-transaction () - > (key (make-invite nil 1))) ;; one time anonymous invite. - -That should print an invite code into the REPL. Use that code in the -web interface for making a new account. |