mirror
/
piku
kopia lustrzana https://github.com/piku/piku
1
0
Forkuj 0
Kod Zgłoszenia Packages Projekty Wydania Wiki Aktywność

Merge pull request #239 from chr15m/fix-update-command 

Fix update command in piku cli script
pull/250/head
Rui Carmo 2022-09-12 19:25:23 +01:00 zatwierdzone przez GitHub
rodzic edef1476fe 424df1689a
commit eefe5b10c3
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 1 dodań i 1 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

2
piku
Wyświetl plik

@ -53,7 +53,7 @@ else
echo " shell Local command to start an SSH session in the remote." echo " shell Local command to start an SSH session in the remote."
echo " init Local command to download an example ENV and Procfile." echo " init Local command to download an example ENV and Procfile."
;; ;;
apps|setup|setup:ssh) apps|setup|setup:ssh|update)
ssh ${sshflags} "$server" "$@" ssh ${sshflags} "$server" "$@"
;; ;;
shell) shell)