aboutsummaryrefslogtreecommitdiff
path: root/dzref
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-09-07 12:08:36 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-09-07 12:08:36 -0400
commit7cb25167c2f4eb3cd0858f23d9662d9853d54cb6 (patch)
tree7e7d9d428e29b610bb7f6331eecaaae3401199eb /dzref
parente375f287c885a5ad9f72dc47e08aa861f8056abb (diff)
Define •path by replacement in dzref
Diffstat (limited to 'dzref')
-rwxr-xr-xdzref6
1 files changed, 5 insertions, 1 deletions
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