added INPUT_REMOTE_PORT input for different port

This commit is contained in:
Steven Agyekum 2019-12-04 19:00:33 +01:00 committed by GitHub
parent 2f8edbc7f1
commit 0186c3a6b2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -15,4 +15,4 @@ echo "$INPUT_REMOTE_KEY" > "$SSH_PATH/key"
chmod 600 "$SSH_PATH/key" chmod 600 "$SSH_PATH/key"
# Do deployment # Do deployment
sh -c "rsync $INPUT_SWITCHES -e 'ssh -i $SSH_PATH/key -o StrictHostKeyChecking=no $INPUT_RSH' $GITHUB_WORKSPACE/$INPUT_PATH $INPUT_REMOTE_USER@$INPUT_REMOTE_HOST:$INPUT_REMOTE_PATH" sh -c "rsync $INPUT_SWITCHES -e 'ssh -i $SSH_PATH/key -o StrictHostKeyChecking=no -p $INPUT_REMOTE_PORT $INPUT_RSH' $GITHUB_WORKSPACE/$INPUT_PATH $INPUT_REMOTE_USER@$INPUT_REMOTE_HOST:$INPUT_REMOTE_PATH"