Skip to content

Update macOS Docker and MongoDB installation instructions + Fix a bug where searching for user will fail#1112

Merged
anthonygego merged 3 commits into
INGInious:mainfrom
remivanboxem:installation-broken-link
May 4, 2026
Merged

Update macOS Docker and MongoDB installation instructions + Fix a bug where searching for user will fail#1112
anthonygego merged 3 commits into
INGInious:mainfrom
remivanboxem:installation-broken-link

Conversation

@remivanboxem

Copy link
Copy Markdown
Contributor
  • Updated the macOS MongoDB installation instructions in installation.rst to use the official mongodb/brew tap and install mongodb-community, as the previous instructions where no longer working.
  • Updated the Docker troubleshooting link in installer.py to point to the new documentation URL.
  • Fixed the user selection box template to use course.get_id() instead of courseid (was failing to search before).

@codacy-production

Copy link
Copy Markdown

Up to standards ✅

🟢 Issues 0 issues

Results:
0 new issues

View in Codacy

🟢 Metrics 0 complexity · 0 duplication

Metric Results
Complexity 0
Duplication 0

View in Codacy

NEW Get contextual insights on your PRs based on Codacy's metrics, along with PR and Jira context, without leaving GitHub. Enable AI reviewer
TIP This summary will be updated as you push new changes.

@anthonygego anthonygego merged commit 84a7bb5 into INGInious:main May 4, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants