name: Build and push core containers

on:

push:

branches: [master]

workflow_dispatch:

jobs:

containers_build_and_push:

uses: INGInious/.github/.github/workflows/containers.yml@6506916a602fc6bf47d6e8f34586732d3c8e1502

with:

working-directory: base-containers

context-path: context.yml

compose-path: compose.yml

registry: ghcr.io

container_type: core

secrets:

GHCR_USERNAME: ${{ secrets.GHCR_USERNAME }}

GHCR_TOKEN: ${{ secrets.GHCR_TOKEN }}

How to install?

Simply run:

.. code-block::

> Note that you can override the registry and containers version by setting the `REGISTRY` and

> `VERSION` environment variables.

And access https://localhost:9000 in your browser.

*The default login and password are* ``superadmin``.

The ``--build`` argument is optional, use it if you want to rebuild locally the core containers.

If you want to simply pull them from the project's registry, this argument is not required.

Docker-compose will create a ``tasks`` folder if it does not exist already.

You can then add new courses to your fresh INGInious instance by installing them in the ``tasks`` folder.

For example, the INGInious tutorial course is installed with the following commands:

.. code-block::

*If you encounter permission errors, you should run the following command:*

.. code-block::

*This can happen when the tasks directory is created by docker-compose.*

Note that the `configuration.deploy.yaml` file provided is a sample configuration, the secret key **must** be changed by administrators in production deployments.

.. _Manual installation: https://docs.inginious.org/en/latest/admin_doc/install_doc/installation.html

`Manual installation`_ is also possible with pip.

backend: tcp://backend:2000

backup_directory: /inginious/backups

local-config: {}

mongo_opt:

database: INGInious

host: db

plugins: []

session_parameters:

ignore_change_ip: false

secret_key: 96f4628a2e4d0ce26b6352713f8ac8359b838f4800f1972790622899664bd0f4

secure: false

timeout: 86400

superadmins:

- superadmin

tasks_directory: /inginious/tasks

use_minified_js: true

ARG VERSION=latest

ARG REGISTRY

FROM ${REGISTRY}/inginious/core-base:${VERSION}

COPY inginious/agent/__init__.py inginious/agent/

COPY inginious/agent/docker_agent/ inginious/agent/docker_agent/

COPY inginious-agent-docker .

RUN dnf install -y gcc python39-devel

RUN --mount=source=.git,target=.git,type=bind \

pip3 install --no-cache-dir -e .

CMD ["sh", "-c", "python3 inginious-agent-docker ${BACKEND} --tmpdir=/tmp/agent_data/"]

ARG VERSION=latest

ARG REGISTRY

FROM ${REGISTRY}/inginious/core-base:${VERSION}

COPY inginious/agent/__init__.py inginious/agent/

COPY inginious/agent/mcq_agent/ inginious/agent/mcq_agent/

COPY inginious-agent-mcq .

RUN --mount=source=.git,target=.git,type=bind \

pip3 install --no-cache-dir -e .

CMD ["sh", "-c", "python3 inginious-agent-mcq ${BACKEND}"]

ARG VERSION=latest

ARG REGISTRY

FROM ${REGISTRY}/inginious/core-base:${VERSION}

COPY inginious/backend/ inginious/backend/

COPY inginious-backend .

RUN --mount=source=.git,target=.git,type=bind \

pip3 install --no-cache-dir -e .

CMD ["sh", "-c", "python3 inginious-backend ${AGENT} ${CLIENT}"]

from pymongo import MongoClient

from gridfs import GridFS

from inginious.frontend.user_manager import UserManager

def try_mongodb_opts(host="localhost", database_name='INGInious'):

""" Try MongoDB configuration """

try:

mongo_client = MongoClient(host=host)

# Effective access only occurs when we call a method on the connexion

mongo_version = str(mongo_client.server_info()['version'])

print("Found mongodb server running version %s on %s." % (mongo_version, host))

except Exception as e:

print("Cannot connect to MongoDB on host %s: %s" % (host, str(e)))

return None

try:

database = mongo_client[database_name]

# Effective access only occurs when we call a method on the database.

database.list_collection_names()

except Exception as e:

print("Cannot access database %s: %s" % (database_name, str(e)))

return None

try:

# Effective access only occurs when we call a method on the gridfs object.

GridFS(database).find_one()

except Exception as e:

print("Cannot access gridfs %s: %s" % (database_name, str(e)))

return None

return database

if __name__ == '__main__':

username = "superadmin"

realname = "INGInious superadmin"

email = "superadmin@inginious.org"

password = "superadmin"

print('Initial DB setup.')

database = try_mongodb_opts('db')

database.users.insert_one({"username": username,

"realname": realname,

"email": email,

"password": UserManager.hash_password(password),

"bindings": {},

"language": "en"})

print('Superadmin user added!')

ARG VERSION=latest

ARG REGISTRY

FROM ${REGISTRY}/inginious/core-base:${VERSION}

COPY inginious/frontend inginious/frontend/

COPY inginious/client inginious/client/

COPY inginious-webapp .

RUN dnf install -y git gcc python39-devel

RUN --mount=source=.git,target=.git,type=bind \

pip3 install --no-cache-dir -e .

COPY deploy/db_setup.py /tmp/db_setup.py

CMD ["sh", "-c", "python3 /tmp/db_setup.py; python3 inginious-webapp"]

FROM rockylinux:8

ENV INGINIOUS_COMPOSE=1

RUN dnf update -y && dnf install -y python39 python39-pip git

RUN pip3 install importlib-metadata

WORKDIR /inginious

COPY setup.py README.rst ./

COPY inginious/common/ inginious/common/

COPY inginious/__init__.py inginious/

RUN --mount=source=.git,target=.git,type=bind \

pip3 install --no-cache-dir -e .