Building using a shell inside the Docker container

Note: This is sometimes useful for debugging; however, you should be using jet build or jet run, instead of these bash snippets in most cases.

# Make sure the Docker image is up to date
jet image --pull

# Start a Docker container and attach to an interactive shell in it
docker run -it -v ~/repos/hover-jet:/jet hoverjet/jet

Now, inside the Docker container

# Make sure you're in the Docker container!!!!!!!
cd hover-jet

# Build the project manually
mkdir -p bin
cd bin
cmake ..
make -j "$(expr $(nproc) - 1)"  # Build with one less than the total core count