# Usage There is a hidden link to have an overview of all users registered on the server: `/users`. # Development `docker-compose -f docker-compose-development.yml up` # Deployment * Push to git (in case linting fails on commit use `git commit --no-verify`) * Pull on server. * `service p5.js-web-editor stop` * `npm run build:server` * `npm run build:client` * `service p5.js-web-editor start` Gebruik s3cmd om bucket in te stellen. ## Make bucket: s3cmd mb s3://digitalplayground-p5 ## Set the CORS rules s3cmd -c .s3cfg setcors CORS.xml s3://digitalplayground-p5 ## Delete the CORS rules s3cmd -c .s3cfg delcors s3://digitalplayground-p5 ## Get bucket info including CORS rules s3cmd -c .s3cfg info s3://digitalplayground-p5