Set dns server LINUX

SpiNNakerManchester · Aug 28, 2024 · ff6d6d0 · ff6d6d0
1 parent 1a299c1
commit ff6d6d0
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/actions/prepare/action.yml b/actions/prepare/action.yml
@@ -122,3 +122,12 @@ runs:
         echo 'spalloc_server = https://spinnaker.cs.man.ac.uk/spalloc/' >> ~/.${{ inputs.cfg_file }}.cfg
         echo 'spalloc_port = 22244' >> ~/.${{ inputs.cfg_file }}.cfg
         echo 'version = 5' >> ~/.${{ inputs.cfg_file }}.cfg
+
+    - name: Set dns server LINUX
+      shell: bash
+      if: runner.os == 'Linux'
+      run: |
+        sudo sed -i 's/#DNS=/DNS=8.8.8.8 8.8.4.4/g' /etc/systemd/resolved.conf
+        sudo systemctl daemon-reload
+        sudo systemctl restart systemd-networkd
+        sudo systemctl restart systemd-resolved