aboutsummaryrefslogtreecommitdiff
path: root/dzref
diff options
context:
space:
mode:
Diffstat (limited to 'dzref')
-rwxr-xr-xdzref6
1 files changed, 1 insertions, 5 deletions
diff --git a/dzref b/dzref
index 43e6a58e..e446d698 100755
--- a/dzref
+++ b/dzref
@@ -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