diff options
Diffstat (limited to 'dzref')
| -rwxr-xr-x | dzref | 6 |
1 files changed, 1 insertions, 5 deletions
@@ -115,11 +115,7 @@ _withRef ← ˙ lf ← @+10 pre ← E_isdef◶E_proc‿E_redef¨ lf((⊢-˜¬×+`)∘=⊔⊢)impl ExecFile←{ -# path ← "dot_path←" ∾ '"' (⊣∾⊣∾˜(1+=)/⊢) (∨`⌾⌽'/'=𝕩)/𝕩 -# src ← "•path"•_r_"dot_path"∘E_proc¨ •LNS 𝕩 -# Raw ∾ ∾⟜lf¨ path <⊸∾ src - #path ← "dot_path←" ∾ '"' (⊣∾⊣∾˜(1+=)/⊢) (∨`⌾⌽'/'=𝕩)/𝕩 - src ← E_proc¨ •LNS 𝕩 # "•path"•_r_"dot_path"∘ + src ← E_proc¨ •LNS 𝕩 ⟨⟨⟩,"",(∨`⌾⌽'/'=𝕩)/𝕩⟩ Raw ∾ ∾⟜lf¨ src } X↩Raw∘E_proc |
