aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/world/shell.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-09-07 22:50:21 -0400
committerEduardo Julian2021-09-07 22:50:21 -0400
commit35c0807799717cd720ab28b35851c1a01a67445d (patch)
treec6237b79fb262d24c8a46ee3ecb714df3e9874d8 /stdlib/source/library/lux/world/shell.lux
parentb55cefcb258f11eeee32c1478faefd1bd09ec871 (diff)
De-taggification | part 4
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/world/shell.lux46
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