2018-06-08 11:26:52 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
DEST=$1
|
|
|
|
|
|
|
|
if [ ! -d "$DEST" ]; then
|
|
|
|
echo -e "Destination \"$DEST\" is not a directory. Run\n\tnpm deploy -- [destination-directory]"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
2018-11-06 15:30:13 +00:00
|
|
|
function copy() {
|
|
|
|
echo -n "."
|
|
|
|
cp "$@"
|
|
|
|
}
|
2018-06-08 11:26:52 +00:00
|
|
|
|
2018-11-06 15:30:13 +00:00
|
|
|
echo -n "Deploying..."
|
|
|
|
copy *.png $DEST/
|
|
|
|
copy *.css $DEST/
|
|
|
|
copy index.html $DEST/
|
2019-01-14 17:28:18 +00:00
|
|
|
copy info-view.html $DEST/
|
2018-11-06 15:30:13 +00:00
|
|
|
copy -R build $DEST/
|
2019-02-28 11:41:50 +00:00
|
|
|
copy -R img $DEST/
|
2018-11-06 15:30:13 +00:00
|
|
|
echo "done!"
|
2018-06-08 11:26:52 +00:00
|
|
|
|
|
|
|
echo "Deployed to $DEST/."
|