From 57b29096a1acf4d00e8d1e16dcd01763febcb88d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9rome=20Perrin?= <jerome@nexedi.com>
Date: Fri, 14 Aug 2020 04:06:50 +0200
Subject: [PATCH] software/thiea: add $HOME/.cargo/bin/ to path

so that theia can use a local installation of rust using rustup
---
 software/theia/software.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/software/theia/software.cfg b/software/theia/software.cfg
index e0fb9dfb7..0b0ef6abd 100644
--- a/software/theia/software.cfg
+++ b/software/theia/software.cfg
@@ -342,7 +342,7 @@ template =
   inline:
   #!/bin/bash
   . ${gowork:env.sh}
-  export PATH=${python-language-server:location}/bin/:${java-jdk:location}/bin/:${cli-utilities:PATH}:$PATH
+  export PATH=${python-language-server:location}/bin/:${java-jdk:location}/bin/:${cli-utilities:PATH}:$HOME/.cargo/bin:$PATH
   export THEIA_DEFAULT_PLUGINS="local-dir:${theia:THEIA_DEFAULT_PLUGINS}"
   # reset PS1 from gowork
   export PS1='$ '
-- 
2.30.9