aboutsummaryrefslogtreecommitdiff
path: root/dzref
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-04-06 11:11:56 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-04-06 11:15:24 -0400
commita93ebb94f939c1c6ab3dcd78ee17a1d882355289 (patch)
treec862108749790fd0eca7e6dafcd4206f4a34d8fd /dzref
parentabd5b9db2c08c7c9e9e622e9e78ef5f42815b6b0 (diff)
Change dzref to just pass 1↓•args to the script, not execute additional code
Diffstat (limited to 'dzref')
-rwxr-xr-xdzref4
1 files changed, 2 insertions, 2 deletions
diff --git a/dzref b/dzref
index 7369415c..31a4bc37 100755
--- a/dzref
+++ b/dzref
@@ -91,10 +91,10 @@ _withRef ← ˙
pre ← E_proc¨ lf((⊢-˜¬×+`)∘=⊔⊢)impl
ExecFile←{
src ← E_nodef¨ •FLines 𝕩
- ⟨⟨⟩,"",(∨`⌾⌽'/'=𝕩)/𝕩⟩ Raw ∾ ∾⟜lf¨ src
+ ((•path⊸∾⌾⊑(2∾˜∧`⌾⌽'/'≠𝕩)⊔𝕩)∾⟨𝕨⟩) Raw ∾ ∾⟜lf¨ src
}
_withRef ↩ {𝔽∘E_nodef⊘(𝔽⟜E_nodef)}
X↩Raw _withRef
Raw ∾ ∾⟜lf¨ pre
- ≠◶(X˙)‿{ExecFile ⊑𝕩}‿{ExecFile ⊑𝕩 ⋄ X 1⊑𝕩} •args
+ (1⊸↓ ExecFile ⊑) •args
}