pushd not available in sh

Ailing Zhang · soumith · commit 41e15c0fbcc4 · 2019-06-02T01:40:51.000-04:00
diff --git a/scripts/deploy-site.sh b/scripts/deploy-site.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # ideas used from https://gist.github.com/motemen/8595451
 
 # Based on https://github.com/eldarlabs/ghpages-deploy-script/blob/master/scripts/deploy-ghpages.sh

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#!/bin/sh`
	`1`	`+#!/bin/bash`
`2`	`2`	`# ideas used from https://gist.github.com/motemen/8595451`
`3`	`3`
`4`	`4`	`# Based on https://github.com/eldarlabs/ghpages-deploy-script/blob/master/scripts/deploy-ghpages.sh`