Skip to content

Instantly share code, notes, and snippets.

@AriFordsham
Last active October 19, 2021 11:31
Show Gist options
  • Save AriFordsham/42c1372f4e04ac94becd2b776a0939e9 to your computer and use it in GitHub Desktop.
Save AriFordsham/42c1372f4e04ac94becd2b776a0939e9 to your computer and use it in GitHub Desktop.
Start plutus playground
#! /usr/bin/env nix-shell
#! nix-shell -i bash /home/ari/plutus/shell.nix
# CUSTOMIZE ^^^^^^^^^^^^^^^^
# Start the Plutus Playground web server. Works from outside a nix shell, from any directory.
# You'll need to put in the path to the Plutus repo in two places. The shebang above doesn't support `~`.
set -eu
cd ~/plutus/plutus-playground-client
# ^^^^^^^^ CUSTOMIZE
plutus-playground-server -i 120s &
trap "kill $!" EXIT
# Wait for server
while [[ -z `lsof -Pi :8080` ]]
do :
done
npm start
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment