Do a quick ping before running getdot
This commit is contained in:
parent
e659f1af3d
commit
6eac61d6bd
|
@ -185,6 +185,10 @@ function getdot {
|
||||||
echo "An alias for scpace has not been defined on this device!"
|
echo "An alias for scpace has not been defined on this device!"
|
||||||
return 1
|
return 1
|
||||||
fi
|
fi
|
||||||
|
if ! ping -c 1 sagev.space &> /dev/null; then
|
||||||
|
echo "Could not reach sagev.space"
|
||||||
|
return 1
|
||||||
|
fi
|
||||||
cd "$DOT_DIR" || return 1
|
cd "$DOT_DIR" || return 1
|
||||||
git pull && ./copy.sh
|
git pull && ./copy.sh
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue