Joachim Breitner

I’d like to pull the data from the IHPCloud deployed instance into my local database. I tried pg_dump "postgresql://…?host=database-cloud.cephcue7lnqe.eu-central-1.rds.amazonaws.com" | make psql but the output isn’t promising: SE…

Should I just manually add a meta tag to Web/View/Layout.hs, or is there something more idiomatic? (An answer to that question might be useful on https://ihp.digitallyinduced.com/Guide/helpful-tips.html) …