Skip to content

Instantly share code, notes, and snippets.

@cblgh

cblgh/seed-cabal.sh

Created July 21, 2021 08:50
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save cblgh/3a298d356b6abfcc9cddb5bd8d47339f to your computer and use it in GitHub Desktop.
Save cblgh/3a298d356b6abfcc9cddb5bd8d47339f to your computer and use it in GitHub Desktop.
Download ZIP
how to seed a cabal from anywhere
Raw
seed-cabal.sh
# make sure you are using node 12 (underlying stack needs to be updated a bit for latest node versions)
# here we are using nvm for that purpose
nvm install 12 && nvm use 12
# install cabal-cli globally
npm i -g cabal
# seed your cabal. default port that is used is 13331
cabal <cabalkey> --seed
# to change the default port, use the --port flag
cabal <cabalkey> --seed --port 7331
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment