diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-09-06 17:03:25 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-09-06 17:03:25 +0200 |
commit | f3c925f3e7b2f46075063e2882a3cce06cce5b28 (patch) | |
tree | 7e74e7bf1cdf13f8695bafbcfa9f06708d8a26d9 /INSTALL-DEV | |
parent | 6c2faffa903759f3c610b04ccb3e8bcbc065d45d (diff) |
Minor INSTALL update
Diffstat (limited to 'INSTALL-DEV')
-rw-r--r-- | INSTALL-DEV | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL-DEV b/INSTALL-DEV index b301a49..66d554c 100644 --- a/INSTALL-DEV +++ b/INSTALL-DEV @@ -128,4 +128,4 @@ sudo systemctl restart apache2 Note that if instead you need to recreate the whole database (e.g., migration is not possible), then one way to do it would be: -psql -d brep -c 'DROP OWNED BY <user>' +$ psql -d brep -c 'DROP OWNED BY <user>' |