From a99038f251a36499338bf5438c008b8015afe993 Mon Sep 17 00:00:00 2001 From: lpoujol Date: Mon, 5 Nov 2018 12:27:46 +0100 Subject: [PATCH] (WIP) Utilisation de redis --- HowtoGitea.md | 20 +++++++++++++++++++- 1 file changed, 19 insertions(+), 1 deletion(-) diff --git a/HowtoGitea.md b/HowtoGitea.md index 52e054b6..4b47fab0 100644 --- a/HowtoGitea.md +++ b/HowtoGitea.md @@ -198,8 +198,26 @@ server { ### Redis -*TODO* +On peut utiliser Redis comme support pour les sessions et le cache de gitea. +#### Cache + +~~~ +# cat /etc/gitea/git.ini +[cache] +ADAPTER = redis +HOST = network=tcp,addr=127.0.0.1:6379,password=PASSWORD,db=1,pool_size=100,idle_timeout=180 + +~~~ + +#### Sessions + +~~~ +# cat /etc/gitea/git.ini +[session] +PROVIDER = redis +PROVIDER_CONFIG = network=tcp,addr=127.0.0.1:6379,password=PASSWORD,db=0,pool_size=100,idle_timeout=180 +~~~ ## Avancé