Fix installation being exectued from a differente folder

renn0xtek9 · May 8, 2024 · 98fffc5 · 98fffc5
1 parent 91aa4e3
commit 98fffc5
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 4 deletions.
diff --git a/.devcontainer/setup_environment_on_ubuntu_22.sh b/.devcontainer/setup_environment_on_ubuntu_22.sh
@@ -1,6 +1,8 @@
 #!/bin/bash 
 set -euxo pipefail
 DEBIAN_FRONTEND=noninteractive
+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+cd "$DIR"
 sudo apt-get update
 sudo apt-get install -y curl nano cmake gcc gcovr python3 python3-pip git texlive-full biber
 
@@ -12,5 +14,3 @@ sudo chmod go+r /usr/share/keyrings/githubcli-archive-keyring.gpg
 echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" | sudo tee /etc/apt/sources.list.d/github-cli.list > /dev/null 
 sudo apt update
 sudo apt install gh -y
-
-rm -rf /var/lib/apt/lists/*
diff --git a/.github/workflows/ubuntu_2204_build_pipeline.yml b/.github/workflows/ubuntu_2204_build_pipeline.yml
@@ -9,8 +9,10 @@ jobs:
       - uses: actions/checkout@v1
       - name: Install development dependencies
         run: ./.devcontainer/setup_environment_on_ubuntu_22.sh
-      - name: Configure 
+      - name: Check formating
         run: ./scripts/format.sh
+      - name: Configure 
+        run: ./scripts/configure.sh
       - name: Build
         run: ./scripts/build.sh
       - name: Tests

diff --git a/.github/workflows/ubuntu_2204_documentation_pipeline.yml b/.github/workflows/ubuntu_2204_documentation_pipeline.yml
@@ -10,7 +10,7 @@ jobs:
       - name: Install development dependencies
         run: ./.devcontainer/setup_environment_on_ubuntu_22.sh
       - name: Configure 
-        run: ./scripts/format.sh
+        run: ./scripts/configure.sh
       - name: Make documentation
         run: cd build && make documentation