Merge pull request #6 from renn0xtek9/add-local-aliases-to-devcontainer

Mount local bash aliases to the devcontainer

.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",

.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

.gitignore

@@ -1,3 +1,4 @@
+*.orig
 build/*
 output/*
 documentation/*.bbl