From d7bbc598e50cd8278051d1214ab1ced90bb39d48 Mon Sep 17 00:00:00 2001 From: Sebastian Pfitzner Date: Mon, 7 Jun 2021 10:12:22 +0200 Subject: [PATCH] add exfiltrated alias --- Project.toml | 2 +- src/Infiltrator.jl | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/Project.toml b/Project.toml index e073bd7..dbdcc95 100644 --- a/Project.toml +++ b/Project.toml @@ -1,6 +1,6 @@ name = "Infiltrator" uuid = "5903a43b-9cc3-4c30-8d17-598619ec4e9b" -version = "1.0.0" +version = "1.0.1" [deps] REPL = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb" diff --git a/src/Infiltrator.jl b/src/Infiltrator.jl index 75f5ba1..38778dd 100644 --- a/src/Infiltrator.jl +++ b/src/Infiltrator.jl @@ -4,7 +4,7 @@ using REPL.LineEdit: getproperty using REPL using REPL.LineEdit -export @infiltrate, @exfiltrate, @withstore, safehouse +export @infiltrate, @exfiltrate, @withstore, safehouse, exfiltrated REPL_HOOKED = Ref{Bool}(false) function __init__() @@ -105,11 +105,13 @@ Base.propertynames(s::Session) = keys(get_store_names(s)) """ store safehouse + exfiltrated Global storage for storing values while `@infiltrate`ing or `@exfiltrate`ing. """ const store = Session(Module(), false, Set()) const safehouse = store +const exfiltrated = store """ @withstore ex