interactive intro to open social

use flyctl from nixpkgs instead of manual install

Changed files
+2 -10
.tangled
workflows
+2 -10
.tangled/workflows/deploy.yaml
··· 6 6 7 7 dependencies: 8 8 nixpkgs: 9 - - curl 10 - - cacert 11 - - gnutar 12 - - gzip 13 - - bash 9 + - flyctl 14 10 15 11 steps: 16 - - name: install flyctl 12 + - name: verify flyctl 17 13 command: | 18 - curl -L https://github.com/superfly/flyctl/releases/latest/download/flyctl_Linux_x86_64.tar.gz -o flyctl.tar.gz 19 - tar -xzf flyctl.tar.gz --no-same-owner 20 - chmod +x flyctl 21 - mv flyctl /usr/local/bin/ 22 14 flyctl version 23 15 24 16 - name: deploy to fly.io