Base: Add some default completions to shellrc

Base/usr/share/shell/completion/proxy.sh

@@ -0,0 +1,30 @@
+#!/bin/Shell
+
+__proxy() {
+    echo '{"kind":"proxy","argv":"'"${regex_replace '"' '\"' "$*"}"'"}'
+}
+
+# Builtins
+_complete_time() {
+    shift 2
+    argsparser_parse \
+        --add-option _ --help-string "Number of iterations" \
+          --long-name iterations --short-name n --value-name iterations --type u32 \
+        --add-positional-argument argv --help-string _ \
+          --value-name _ --min 0 --max 9999999 \
+        --stop-on-first-non-option \
+        -- $*
+    __proxy $argv
+}
+
+# Utilities
+_complete_pls() {
+    shift 2
+    argsparser_parse \
+        --add-option _ --help-string "User to execute as" --short-name u --value-name UID \
+        --add-positional-argument argv --help-string "Command to run at elevated privilege level" \
+          --value-name command --min 0 --max 999999 \
+        --stop-on-first-non-option \
+        -- $*
+    __proxy $argv
+}