Planet Scheme

How to update Planet Scheme

• Make your change to the Planet Scheme git repo at git@github.com:schemeorg/planet.scheme.org.git.
• Make sure that the Planet Scheme server is up to date with the repo:

  ./upload.sh
      

• Execute these commands on planet.scheme.org:

  cd /production/planet/
  sudo docker build --file=Containerfile .
  docker image tag $(docker images --format "{{.ID}}" --no-trunc | head -n 1) prod-planet
  docker run --rm --interactive prod-planet>/tmp/planet.tar
  sudo -u prod-planet tar xvf /tmp/planet.tar