From d159efb7567ab3b8b64f8af39f7a12e699a1a11c Mon Sep 17 00:00:00 2001
From: Adam <43224109+AdamJovanovic@users.noreply.github.com>
Date: Fri, 3 May 2024 22:42:05 +1000
Subject: [PATCH] Update path to dockerfile in devcontainer (#536)

* Fix codespaces naming to refer to Dockerfile, not Dockerfile.gcc13.

* Specify g++-13 at CXX_COMPILER flag.
---
 .devcontainer/devcontainer.json      | 2 +-
 docs/guides/gcc-compilation-guide.md | 4 ++--
 scripts/run_tests_linux_gxx.sh       | 0
 3 files changed, 3 insertions(+), 3 deletions(-)
 mode change 100644 => 100755 scripts/run_tests_linux_gxx.sh

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 09505236f..ed015d1fa 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -2,7 +2,7 @@
 	"name": "Existing Dockerfile",
 	"build": {
 		"context": "..",
-		"dockerfile": "../Dockerfile.gcc13"
+		"dockerfile": "../Dockerfile"
 	},
 	"customizations": {
 		"vscode": {
diff --git a/docs/guides/gcc-compilation-guide.md b/docs/guides/gcc-compilation-guide.md
index 211c96fb7..3923a3205 100644
--- a/docs/guides/gcc-compilation-guide.md
+++ b/docs/guides/gcc-compilation-guide.md
@@ -18,7 +18,7 @@ mkdir build && cd build
 ### 3. Setup CMake
 
 ```bash
-cmake .. -GNinja -DCMAKE_CXX_COMPILER=g++
+cmake .. -GNinja -DCMAKE_CXX_COMPILER=g++-13
 ```
 
 ### 4. Build
@@ -36,4 +36,4 @@ cmake --build .
 ### Additional information
 
 If you can't install g++ 13 on your system, you can use
-prepared [Dockerfile](../../Dockerfile.gcc13).
+prepared [Dockerfile](../../Dockerfile).
diff --git a/scripts/run_tests_linux_gxx.sh b/scripts/run_tests_linux_gxx.sh
old mode 100644
new mode 100755