diff --git a/aplus/settings.py b/aplus/settings.py index 75787aea1..6a6d9664b 100644 --- a/aplus/settings.py +++ b/aplus/settings.py @@ -4,6 +4,8 @@ # You can copy local_settings.example.py and start from there. ## from os.path import abspath, dirname, join + +from django.conf import settings from lib.logging import skip_unreadable_post from os import environ from r_django_essentials.conf import ( @@ -313,6 +315,9 @@ LOGIN_REDIRECT_URL = "/" LOGIN_ERROR_URL = "/accounts/login/" +def gitmanager_url(request): + return {'gitmanager_url': settings.GITMANAGER_URL} + TEMPLATES = [ { 'BACKEND': 'django.template.backends.django.DjangoTemplates', @@ -332,6 +337,7 @@ "django.contrib.messages.context_processors.messages", "lib.context_processors.aplus_version", "lib.context_processors.gitmanager_enabled", + "lib.context_processors.gitmanager_url" ], }, }, diff --git a/edit_course/templates/edit_course/edit_gitmanager.html b/edit_course/templates/edit_course/edit_gitmanager.html index 062211501..30fd24403 100644 --- a/edit_course/templates/edit_course/edit_gitmanager.html +++ b/edit_course/templates/edit_course/edit_gitmanager.html @@ -21,6 +21,9 @@ + {% csrf_token %} + {% translate "GO_TO_GITMANAGER_PAGE" %} +