Change host for deployment.

mit-submit · Oct 16, 2023 · ade5eb6 · ade5eb6
1 parent 2d5ed3d
commit ade5eb6
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/prod-cp-ci-cd.yaml b/.github/workflows/prod-cp-ci-cd.yaml
@@ -46,17 +46,17 @@ jobs:
       # stop any existing docker compose that's running
       - name: Stop Docker Compose
         run: |
-          ssh ppc 'bash -s' < ${{ github.workspace }}/deploy/prod-cp/prod-cp-stop.sh
+          ssh ppc-host 'bash -s' < ${{ github.workspace }}/deploy/prod-cp/prod-cp-stop.sh
 
       # copy repository to machine
       - name: Copy Repository
         run: |
-          rsync -e ssh -r ${{ github.workspace}}/* --exclude .git/ --delete ppc:~/A2rchi-prod-cp/
+          rsync -e ssh -r ${{ github.workspace}}/* --exclude .git/ --delete ppc-host:~/A2rchi-prod-cp/
 
       # run deploy script
       - name: Run Deploy Script
         run: |
-          ssh ppc 'bash -s' < ${{ github.workspace }}/deploy/prod-cp/prod-cp-install.sh
+          ssh ppc-host 'bash -s' < ${{ github.workspace }}/deploy/prod-cp/prod-cp-install.sh
 
       # clean up secret files
       - name: Remove Secrets from Runner

diff --git a/deploy/ssh_config b/deploy/ssh_config
@@ -16,7 +16,7 @@ Host submit-t3desk
   IdentityFile ~/.ssh/id_rsa_submit
   StrictHostKeyChecking no
 
-Host ppc
+Host ppc-host
   HostName submit06.mit.edu
   User a2rchi
   IdentitiesOnly=yes