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
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 back upstream the changes.
Does the patch-bin_lein-pkg read fine?
