Document local piku commands.

pull/209/head
Chris McCormick 2021-09-23 15:16:38 +08:00
rodzic 1c76f520a3
commit 7297f12f51
1 zmienionych plików z 3 dodań i 1 usunięć

4
piku
Wyświetl plik

@ -35,7 +35,9 @@ else
out
case "$cmd" in
"")
ssh ${sshflags} "$server" "$@" | grep -v "INTERNAL"
ssh -o LogLevel=QUIET ${sshflags} "$server" "$@" | grep -v "INTERNAL"
echo " shell Local command to start an SSH session in the remote."
echo " init Local command to download an example ENV and Procfile."
;;
apps|setup|setup:ssh)
ssh ${sshflags} "$server" "$@"