From e0bfa804f9d071f7ee7d5528d6dca281e0190c92 Mon Sep 17 00:00:00 2001
From: renn0xtek9 <renn0xtek9@laposte.net>
Date: Mon, 13 May 2024 09:56:28 +0200
Subject: [PATCH] Mount local bash aliases to the devcontainer

---
 .devcontainer/devcontainer.json | 8 +++++++-
 .github/workflows/ci.yaml       | 4 ++++
 .gitignore                      | 1 +
 3 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 992ecb7..2f127b2 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -9,6 +9,13 @@
       "--network=host"
     ]
   },
+  "mounts": [
+    "source=${localEnv:HOME}/.ssh,target=/home/vscode/.ssh,type=bind,consistency=cached",
+    "source=${localEnv:HOME}/.bash_aliases,target=/home/vscode/.bash_aliases,type=bind,consistency=cached",
+  ],
+  "features": {
+    "ghcr.io/devcontainers/features/github-cli:1.0.11": {}
+  },
   "customizations": {
     "vscode": {
       "extensions": [
@@ -30,7 +37,6 @@
   "postCreateCommand": "sudo chown vscode:vscode /workspace && pre-commit install",
   "appPort": [],
   "remoteUser": "vscode",
-  "mounts": [],
   "containerEnv": {},
   "workspaceMount": "source=${localWorkspaceFolder},target=/workspace,type=bind",
   "workspaceFolder": "/workspace",
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index ac03bea..2477634 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -5,6 +5,10 @@ jobs:
   build-devcontainer:
     runs-on: ubuntu-22.04
     steps:
+      - name: Create empty ssh dir
+        run: mkdir -p ~/.ssh
+      - name: Create dummy bash_aliases
+        run: touch ~/.bash_aliases
       - name: Check out repository code
         uses: actions/checkout@v3      
       - name: Build the devcontainer
diff --git a/.gitignore b/.gitignore
index 5b95993..04106ee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+*.orig
 build/*
 output/*
 documentation/*.bbl