diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-09-07 12:08:36 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-09-07 12:08:36 -0400 |
| commit | 7cb25167c2f4eb3cd0858f23d9662d9853d54cb6 (patch) | |
| tree | 7e7d9d428e29b610bb7f6331eecaaae3401199eb /dzref | |
| parent | e375f287c885a5ad9f72dc47e08aa861f8056abb (diff) | |
Define •path by replacement in dzref
Diffstat (limited to 'dzref')
| -rwxr-xr-x | dzref | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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 |
