On 2023/10/12 12:02:10 +, Klemens Nanni wrote:
> 10/12/23 14:11, Omar Polo пишет:
> > On 2023/10/11 19:10:43 +, Klemens Nanni wrote:
> >> On Wed, Oct 11, 2023 at 03:44:47PM +0200, Omar Polo wrote:
> >>> -@@ -27,7 +27,7 @@ export LEIN_HOME="${LEIN_HOME:-"$HOME/.lein"}"
> >>> +@@ -48,19 +48
10/12/23 14:11, Omar Polo пишет:
> On 2023/10/11 19:10:43 +, Klemens Nanni wrote:
>> On Wed, Oct 11, 2023 at 03:44:47PM +0200, Omar Polo wrote:
>>> -@@ -27,7 +27,7 @@ export LEIN_HOME="${LEIN_HOME:-"$HOME/.lein"}"
>>> +@@ -48,19 +48,21 @@ function make_native_path {
>>> + # usage : add_path P
On 2023/10/11 19:10:43 +, Klemens Nanni wrote:
> On Wed, Oct 11, 2023 at 03:44:47PM +0200, Omar Polo wrote:
> > -@@ -27,7 +27,7 @@ export LEIN_HOME="${LEIN_HOME:-"$HOME/.lein"}"
> > +@@ -48,19 +48,21 @@ function make_native_path {
> > + # usage : add_path PATH_VAR [PATH]...
> > + function add
On Wed, Oct 11, 2023 at 03:44:47PM +0200, Omar Polo wrote:
> The update itself is not much interesting, but there were some changes
> in the bash script that need some tweaking to run under ksh. Of
> course we could readd the dependency on bash, but I'd prefer to do one
> more try and contribute b
