aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdzref9
1 files changed, 6 insertions, 3 deletions
diff --git a/dzref b/dzref
index 1106bf7f..43e6a58e 100755
--- a/dzref
+++ b/dzref
@@ -115,9 +115,12 @@ _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 ← "•path"•_r_"dot_path"∘E_proc¨ •LNS 𝕩
+# Raw ∾ ∾⟜lf¨ path <⊸∾ src
+ #path ← "dot_path←" ∾ '"' (⊣∾⊣∾˜(1+=)/⊢) (∨`⌾⌽'/'=𝕩)/𝕩
+ src ← E_proc¨ •LNS 𝕩 # "•path"•_r_"dot_path"∘
+ ⟨⟨⟩,"",(∨`⌾⌽'/'=𝕩)/𝕩⟩ Raw ∾ ∾⟜lf¨ src
}
X↩Raw∘E_proc
_withRef ↩ {𝕗∘E_proc}