Merge pull request #327 from ChrisRackauckas-Claude/fix-aws-cli-install

Install AWS CLI to user-local path instead of using sudo

Author: ChrisRackauckas

.github/workflows/Documentation.yml

@@ -64,16 +64,18 @@ jobs:
       - name: "Install AWS CLI"
         if: github.event_name == 'push'
         run: |
-          if ! command -v aws &> /dev/null; then
+          if ! command -v aws &> /dev/null && [ ! -x "$HOME/aws-cli/bin/aws" ]; then
             curl "https://awscli.amazonaws.com/awscli-exe-linux-x86_64.zip" -o "awscliv2.zip"
             unzip -q awscliv2.zip
-            sudo ./aws/install
+            ./aws/install -i "$HOME/aws-cli" -b "$HOME/bin"
             rm -rf awscliv2.zip aws
           fi
+          export PATH="$HOME/bin:$PATH"
           aws --version
       - name: "Deploy to S3"
         if: github.event_name == 'push'
         run: |
+          export PATH="$HOME/bin:$PATH"
           aws s3 sync --delete --acl=public-read docs/build s3://docs.sciml.ai --cache-control max-age=600
         env:
           AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }}