Fix line 32, add more Hypothesis lines

staging-deploy.sh

@@ -12,7 +12,6 @@ sudo apt-get update
 sudo apt-get install -yq docker-ce docker-ce-cli containerd.io docker-buildx-plugin docker-compose-plugin
 sudo service docker start
 sudo docker run hello-world
-echo Docker installed successfully.
 
 # edit.tosdr.org
 git clone https://github.com/tosdr/edit.tosdr.org.git
@@ -22,15 +21,22 @@ docker network create elasticsearch
 docker network create dbs
 docker compose up -d
 docker exec -it edittosdrorg-web-1 rails db:seed
+docker compose down
+cd ..
 
 # pyenv
 apt install -y make build-essential libssl-dev zlib1g-dev libbz2-dev libreadline-dev libsqlite3-dev wget curl llvm libncursesw5-dev xz-utils tk-dev libxml2-dev libxmlsec1-dev libffi-dev liblzma-dev
 curl https://pyenv.run | bash
 echo -e 'export PYENV_ROOT="$HOME/.pyenv"\nexport PATH="$PYENV_ROOT/bin:$PATH"' >> ~/.bashrc
 echo -e 'eval "$(pyenv init --path)"\neval "$(pyenv init -)"' >> ~/.bashrc
-source ~!/.bashrc
+source ~/.bashrc
 
 # Hypothesis
+git clone https://github.com/tosdr/h
+cd h
+echo Note this will take several minutes...
 pyenv install 3.8.12
 pyenv init
 pyenv shell 3.8.12
+make services
+make dev