#!/usr/bin/env bash cd "$(git rev-parse --show-toplevel)" || exit 1 if (($#>0)); then docker run --rm -v $PWD:/home/her.esy.fun --name her.esy.fun -it her.esy.fun /bin/sh -c "cd /home/her.esy.fun && nix-shell --run $@" else docker run --rm -v $PWD:/home/her.esy.fun --name her.esy.fun -it her.esy.fun fi