Skip to content
This repository has been archived by the owner on Aug 24, 2024. It is now read-only.

Commit

Permalink
codespaces
Browse files Browse the repository at this point in the history
  • Loading branch information
michaelfliegner committed Jun 4, 2024
1 parent 8d59bb0 commit f1f1a58
Show file tree
Hide file tree
Showing 3 changed files with 32 additions and 0 deletions.
16 changes: 16 additions & 0 deletions .devcontainer/devcontainer.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
{
"image": "mcr.microsoft.com/devcontainers/universal:2",
"features": {
"ghcr.io/devcontainers-contrib/features/postgres-asdf:1": {
"version": "latest"
},
"ghcr.io/julialang/devcontainer-features/julia:1": {
"channel": "release"
},
"ghcr.io/robbert229/devcontainer-features/postgresql-client:1": {
"version": "13"
}
},
"postCreateCommand": "/bin/sh -c ./.devcontainer/postCreateCommand.sh",
"postStartCommand": "/bin/sh -c ./.devcontainer/postStartCommand.sh"
}
12 changes: 12 additions & 0 deletions .devcontainer/postCreateCommand.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
#!/bin/sh
set -e

julia -e "using Pkg; Pkg.add(\"IJulia\")"

mkdir ~/.julia/config
cat << EOF > ~/.julia/config/startup.jl
ENV["GENIE_DEV"] = "dev"
ENV["SEARCHLIGHT_USERNAME"] = "postgres"
ENV["SEARCHLIGHT_PASSWORD"] = "postgres"
EOF

4 changes: 4 additions & 0 deletions .devcontainer/postStartCommand.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
#!/bin/sh
set -e

pg_ctl start

0 comments on commit f1f1a58

Please sign in to comment.