Skip to content

Conversation

@erikd
Copy link
Contributor

@erikd erikd commented Mar 15, 2020

No description provided.

@erikd erikd force-pushed the erikd/script-update branch from ec7ff00 to 9458b3d Compare March 15, 2020 21:15
@erikd erikd changed the title scripts/postgresql-setup.sh: Fix naming of executables scripts/postgresql-setup.sh: Update two commands Mar 15, 2020
@erikd erikd force-pushed the erikd/script-update branch from 9458b3d to 5c3f214 Compare March 15, 2020 21:25
These two commands required a 'cabal build' and were a bit of a
pain so now they just echo how to run the commands.
@erikd erikd force-pushed the erikd/script-update branch from 5c3f214 to 10de993 Compare March 15, 2020 21:33
@erikd erikd merged commit 4c36ac2 into master Mar 15, 2020
@iohk-bors iohk-bors bot deleted the erikd/script-update branch March 15, 2020 21:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants