diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-10-17 16:09:54 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-10-17 16:10:24 -0400 |
| commit | d88cda4278f2deffeb059c396bbf3872e9d9fef1 (patch) | |
| tree | 69d485e10d2f76c7fe23b7269f3a5f1a2dd8aae4 /dzref | |
| parent | d43103c8d6e86b46006eb770fbb158aa35e01612 (diff) | |
Left out of previous commit
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 |