[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-apl] #!apl
From: |
enztec |
Subject: |
Re: [Bug-apl] #!apl |
Date: |
Tue, 21 Aug 2018 07:22:18 -0600 |
Hi
He might want to have both the deb and the svn on the same system
On Tue, 21 Aug 2018 11:14:30 +0200
Juergen Sauermann <address@hidden> wrote:
> Hi Hudson,
>
> you can ./configure GNU APL with prefix=/usr and then recompile and install.
>
> /// Jürgen
>
>
> On 08/21/2018 03:34 AM, Hudson Flavio Meneses Lacerda wrote:
> Hi.
>
> Some of my scripts use `#!/usr/bin/apl --script` (from Debian), but now
> I am using SVN, so I should use `#!/usr/local/bin/apl --script`. So, I
> need to change the scripts, that may be incompatible with
> different environments…
>
> I have tried:
>
> #!/usr/bin/env apl
> #!apl --script
> #!/usr/bin/apl --script
> #!/usr/local/bin/apl --script
>
> So far, the best solution I could find (so that I do not need to
> change the files in the future) is this file header:
>
> ----------------------------------------------------
> #!
> true ← ~false ← 0 ⍝; exec apl --script "$0" "$@"
> ----------------------------------------------------
>
> Are there any better solutions?
>
> Thanks,
> Hudson
>
>
>
>
>
>
>
- [Bug-apl] #!apl, Hudson Flavio Meneses Lacerda, 2018/08/20
- Re: [Bug-apl] #!apl, Juergen Sauermann, 2018/08/21
- Re: [Bug-apl] #!apl,
enztec <=
- Re: [Bug-apl] #!apl, Hudson Flavio Meneses Lacerda, 2018/08/21
- Re: [Bug-apl] #!apl, Juergen Sauermann, 2018/08/21
- Re: [Bug-apl] #!apl, Hudson Flavio Meneses Lacerda, 2018/08/21
- Re: [Bug-apl] #!apl, Juergen Sauermann, 2018/08/21
- Re: [Bug-apl] #!apl, Hudson Flavio Meneses Lacerda, 2018/08/21
- Re: [Bug-apl] #!apl, Kacper Gutowski, 2018/08/21
- Re: [Bug-apl] #!apl, Juergen Sauermann, 2018/08/22
- Message not available
- Re: [Bug-apl] #!apl, Hudson Flavio Meneses Lacerda, 2018/08/23
- Re: [Bug-apl] #!apl, Juergen Sauermann, 2018/08/24
Re: [Bug-apl] #!apl, enztec, 2018/08/21