diff options
author | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
commit | 35c0807799717cd720ab28b35851c1a01a67445d (patch) | |
tree | c6237b79fb262d24c8a46ee3ecb714df3e9874d8 /stdlib/source/library/lux/world/shell.lux | |
parent | b55cefcb258f11eeee32c1478faefd1bd09ec871 (diff) |
De-taggification | part 4
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/world/shell.lux | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/stdlib/source/library/lux/world/shell.lux b/stdlib/source/library/lux/world/shell.lux index 927412def..07a9b3f3f 100644 --- a/stdlib/source/library/lux/world/shell.lux +++ b/stdlib/source/library/lux/world/shell.lux @@ -6,27 +6,27 @@ [abstract [monad {"+" [do]}]] [control - ["." function] - ["." try {"+" [Try]}] - ["." exception {"+" [exception:]}] - ["." io {"+" [IO]}] + ["[0]" function] + ["[0]" try {"+" [Try]}] + ["[0]" exception {"+" [exception:]}] + ["[0]" io {"+" [IO]}] [security ["?" policy {"+" [Context Safety Safe]}]] [concurrency - ["." atom {"+" [Atom]}] - ["." async {"+" [Async]}]] + ["[0]" atom {"+" [Atom]}] + ["[0]" async {"+" [Async]}]] [parser [environment {"+" [Environment]}]]] [data - ["." product] - ["." text + ["[0]" product] + ["[0]" text ["%" format {"+" [format]}] [encoding - ["." utf8]]] + ["[0]" utf8]]] [collection - ["." array {"+" [Array]}] - ["." list ("#\." mix functor)] - ["." dictionary]]] + ["[0]" array {"+" [Array]}] + ["[0]" list ("[1]\[0]" mix functor)] + ["[0]" dictionary]]] [math [number {"+" [hex]} ["n" nat]]]]] @@ -140,7 +140,7 @@ (Ex (_ ?) (-> (Sanitizer Command) (Sanitizer Argument) (Policy ?))) (?.with_policy (: (Context Safety Policy) - (function (_ (^open "?\.")) + (function (_ (^open "?\[0]")) (implementation (def: command (|>> safe_command ?\can_upgrade)) (def: argument (|>> safe_argument ?\can_upgrade)) @@ -171,7 +171,7 @@ (..policy safe_command safe_argument))) (with_expansions [<jvm> (as_is (import: java/lang/String - ["#::." + ["[1]::[0]" (toLowerCase [] java/lang/String)]) (def: (jvm::arguments_array arguments) @@ -185,7 +185,7 @@ arguments))) (import: (java/util/Map k v) - ["#::." + ["[1]::[0]" (put [k v] v)]) (def: (jvm::load_environment input target) @@ -202,26 +202,26 @@ (dictionary.entries input))) (import: java/io/Reader - ["#::." + ["[1]::[0]" (read [] "io" "try" int)]) (import: java/io/BufferedReader - ["#::." + ["[1]::[0]" (new [java/io/Reader]) (readLine [] "io" "try" "?" java/lang/String)]) (import: java/io/InputStream) (import: java/io/InputStreamReader - ["#::." + ["[1]::[0]" (new [java/io/InputStream])]) (import: java/io/OutputStream - ["#::." + ["[1]::[0]" (write [[byte]] "io" "try" void)]) (import: java/lang/Process - ["#::." + ["[1]::[0]" (getInputStream [] "io" "try" java/io/InputStream) (getErrorStream [] "io" "try" java/io/InputStream) (getOutputStream [] "io" "try" java/io/OutputStream) @@ -269,18 +269,18 @@ )))))))) (import: java/io/File - ["#::." + ["[1]::[0]" (new [java/lang/String])]) (import: java/lang/ProcessBuilder - ["#::." + ["[1]::[0]" (new [[java/lang/String]]) (environment [] "try" (java/util/Map java/lang/String java/lang/String)) (directory [java/io/File] java/lang/ProcessBuilder) (start [] "io" "try" java/lang/Process)]) (import: java/lang/System - ["#::." + ["[1]::[0]" ("static" getProperty [java/lang/String] "io" "try" java/lang/String)]) ... https://en.wikipedia.org/wiki/Code_injection#Shell_injection |