Regenerate docs

This commit is contained in:
2022-05-05 16:58:42 +03:00
parent da7b6e2f20
commit 3105a92d7f
28 changed files with 36 additions and 36 deletions

View File

@ -21,7 +21,7 @@ The code finally builds and runs with a fresh install
<meta property="og:type" content="article" />
<meta property="og:url" content="https://alanorth.github.io/cgspace-notes/2020-02/" />
<meta property="article:published_time" content="2020-02-02T11:56:30+02:00" />
<meta property="article:modified_time" content="2020-03-04T18:02:54+02:00" />
<meta property="article:modified_time" content="2022-05-05T16:50:10+03:00" />
@ -50,7 +50,7 @@ The code finally builds and runs with a fresh install
"url": "https://alanorth.github.io/cgspace-notes/2020-02/",
"wordCount": "7238",
"datePublished": "2020-02-02T11:56:30+02:00",
"dateModified": "2020-03-04T18:02:54+02:00",
"dateModified": "2022-05-05T16:50:10+03:00",
"author": {
"@type": "Person",
"name": "Alan Orth"
@ -140,7 +140,7 @@ The code finally builds and runs with a fresh install
</ul>
<pre tabindex="0"><code>$ schedtool -D -e ionice -c2 -n7 nice -n19 mvn -U -Dmirage2.on=true -Dmirage2.deps.included=false clean package
</code></pre><ul>
<li>And it seems that we need to enabled <code>pg_crypto</code> now (used for UUIDs):</li>
<li>And it seems that we need to enable <code>pgcrypto</code> now (used for UUIDs):</li>
</ul>
<pre tabindex="0"><code>$ psql -h localhost -U postgres dspace63
dspace63=# CREATE EXTENSION pgcrypto;