Skip to content

Commit

Permalink
chore(deploy): correct script path in server push scripts
Browse files Browse the repository at this point in the history
  • Loading branch information
xeruf committed Jul 17, 2024
1 parent c354d86 commit cc84bd8
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 10 deletions.
6 changes: 2 additions & 4 deletions helpers/push_production.sh
Original file line number Diff line number Diff line change
@@ -1,5 +1,3 @@
#!/bin/bash

#!/bin/sh
echo "pushing to PRODUCTION"
export server=flut
./helpers/push_to_server.sh
server=flut "$(dirname $0)/push_to_server.sh"
6 changes: 2 additions & 4 deletions helpers/push_staging.sh
Original file line number Diff line number Diff line change
@@ -1,5 +1,3 @@
#!/bin/bash

#!/bin/sh
echo "pushing to staging"
export server=ebbe
./helpers/push_to_server.sh
server=ebbe "$(dirname $0)/push_to_server.sh"
4 changes: 2 additions & 2 deletions helpers/push_to_server.sh
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
#!/bin/bash
#!/bin/sh

if [ -z "$server" ]; then
if test -z "$server"; then
# server is not set or ""
echo "please call push_staging.sh or push_production.sh"
exit 1
Expand Down

0 comments on commit cc84bd8

Please sign in to comment.