From 7cb25167c2f4eb3cd0858f23d9662d9853d54cb6 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 7 Sep 2020 12:08:36 -0400 Subject: =?UTF-8?q?Define=20=E2=80=A2path=20by=20replacement=20in=20dzref?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- dzref | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/dzref b/dzref index b47a84b5..7e94b37e 100755 --- a/dzref +++ b/dzref @@ -128,7 +128,11 @@ X←Raw←{F:≤4} lf ← @+10 pre ← E_isdef◶E_proc‿E_redef¨ lf((⊢-˜¬×+`)∘=⊔⊢)impl Raw↩⍎ - ExecFile←{Raw ∾ ∾⟜lf¨ E_proc¨ •LNS 𝕩} + ExecFile←{ + path ← "dot_path←" ∾ '"' (⊣∾⊣∾˜(1+=)/⊢) (∨`⌾⌽'/'=𝕩)/𝕩 + src ← "•path"•_r_"dot_path"∘E_proc¨ •LNS 𝕩 + Raw ∾ ∾⟜lf¨ path <⊸∾ src + } X↩Raw∘E_proc ⍎ ∾ ∾⟜lf¨ pre ≠◶(X˙)‿{ExecFile ⊑𝕩}‿{ExecFile ⊑𝕩 ⋄ X 1⊑𝕩} •args -- cgit v1.2.3