Update Game.java #53
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Derived from an example provided by https://blog.benoitblanchon.fr/github-action-run-ssh-commands/ | |
# https://github.blog/2015-06-16-read-only-deploy-keys/ | |
# | |
# | |
# | |
# | |
# | |
name: Deploy | |
on: [push] | |
jobs: | |
deploy: | |
name: "Deploy to server" | |
runs-on: ubuntu-latest | |
steps: | |
- name: configure SSH | |
run: | | |
# These are very useful for debugging | |
echo "Repository = ${{ github.repository }}" | |
echo "github url = ${{ github.server_url }}" | |
echo "Owner = ${{ github.repository_owner }}" | |
echo "Repository name = ${{ github.event.repository.name }}" | |
echo "Service name = ${{ vars.service_name }}" | |
echo "http port = ${{ vars.http_port }}" | |
echo "websocket port = ${{ vars.websocket_port }}" | |
echo "version = ${{ github.sha }}" | |
# On to the work at hand. | |
mkdir -p ~/.ssh/ | |
echo "${{ secrets.SSH_PRIVATE_KEY }}" > ~/.ssh/production.key | |
chmod 600 ~/.ssh/production.key | |
cat >>~/.ssh/config <<END | |
Host production | |
HostName ${{ secrets.SSH_HOST }} | |
User ${{ secrets.SSH_USER }} | |
IdentityFile ~/.ssh/production.key | |
StrictHostKeyChecking no | |
END | |
- name: get source code and compile | |
run: | | |
echo "deleting the directory ${{ github.event.repository.name }} " | |
ssh production "rm -rf ${{ github.event.repository.name }}" | |
echo "cloning ${{ github.server_url }}/${{ github.repository }}" | |
ssh production "git clone ${{ github.server_url }}/${{ github.repository }}" | |
ssh production "cd ${{ github.event.repository.name }};mvn clean compile package" | |
- name: create systemd unit file | |
run: | | |
# without enable-linger, you must be logged in. So, we enable it. | |
ssh production "loginctl enable-linger" | |
ssh production "mkdir --parents .config/systemd/user" | |
ssh production "rm -f .config/systemd/user/${{ vars.service_name }}.service" | |
ssh production 'echo "[Unit]" >> .config/systemd/user/${{ vars.service_name }}.service' | |
ssh production 'echo "Description=${{ vars.service_name }}" >> .config/systemd/user/${{ vars.service_name }}.service' | |
ssh production 'echo "[Service]" >> .config/systemd/user/${{ vars.service_name }}.service' | |
ssh production 'echo "Type=simple" >> .config/systemd/user/${{ vars.service_name }}.service' | |
ssh production 'echo "Restart=always" >> .config/systemd/user/${{ vars.service_name }}.service' | |
ssh production 'echo "RestartSec=5" >> .config/systemd/user/${{ vars.service_name }}.service' | |
ssh production 'echo "Environment=VERSION=\"${{ github.sha }}\"" >>.config/systemd/user/${{ vars.service_name }}.service' | |
ssh production 'echo "Environment=WEBSOCKET_PORT=${{ vars.websocket_port }}" >>.config/systemd/user/${{ vars.service_name }}.service' | |
ssh production 'echo "Environment=HTTP_PORT=${{ vars.http_port }}" >>.config/systemd/user/${{ vars.service_name }}.service' | |
ssh production 'echo "ExecStart=mvn exec:java -Dexec.mainClass=uta.cse3310.App" >> .config/systemd/user/${{ vars.service_name }}.service' | |
ssh production 'echo "WorkingDirectory=$PWD/${{ github.event.repository.name }}" >> .config/systemd/user/${{ vars.service_name }}.service' | |
ssh production 'echo "[Install]" >>.config/systemd/user/${{ vars.service_name }}.service' | |
ssh production 'echo "WantedBy=default.target" >>.config/systemd/user/${{ vars.service_name }}.service' | |
- name: systemd reload | |
run: | | |
ssh production "systemctl --user daemon-reload" | |
- name: restart daemon | |
run: | | |
ssh production "systemctl --user enable ${{ vars.service_name }}" | |
ssh production "systemctl --user restart ${{ vars.service_name }}" | |
ssh production "systemctl --user status ${{ vars.service_name }}" | |