]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Update oneAPI CI 16073/head
authorDaniel Arndt <arndtd@ornl.gov>
Sun, 1 Oct 2023 15:41:43 +0000 (11:41 -0400)
committerDaniel Arndt <arndtd@ornl.gov>
Sun, 1 Oct 2023 15:42:10 +0000 (11:42 -0400)
.github/workflows/linux.yml

index 6f9e8ea691cd6a4bfcddcdd6a4bb74bcd3c34507..39f0f2abcb266ae4120bb0368ddb2faaff792cf7 100644 (file)
@@ -162,11 +162,11 @@ jobs:
     - uses: actions/checkout@v4
     - name: setup apt repo
       run: |
-        # oneapi-ci/scripts/setup_apt_repo_linux.sh
-        wget https://apt.repos.intel.com/intel-gpg-keys/GPG-PUB-KEY-INTEL-SW-PRODUCTS-2023.PUB
-        sudo apt-key add GPG-PUB-KEY-INTEL-SW-PRODUCTS-2023.PUB
-        echo "deb https://apt.repos.intel.com/oneapi all main" | sudo tee /etc/apt/sources.list.d/oneAPI.list
-        sudo apt-get update -o Dir::Etc::sourcelist="sources.list.d/oneAPI.list" -o APT::Get::List-Cleanup="0"
+        # download the key to system keyring
+        wget -O- https://apt.repos.intel.com/intel-gpg-keys/GPG-PUB-KEY-INTEL-SW-PRODUCTS.PUB | gpg --dearmor | sudo tee /usr/share/keyrings/oneapi-archive-keyring.gpg > /dev/null
+        # add signed entry to apt sources and configure the APT client to use Intel repository:
+        echo "deb [signed-by=/usr/share/keyrings/oneapi-archive-keyring.gpg] https://apt.repos.intel.com/oneapi all main" | sudo tee /etc/apt/sources.list.d/oneAPI.list
+        sudo apt-get update
     - name: collect versioned dependencies of apt packages
       run : |
         # oneapi-ci/scripts/apt_depends.sh

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.