jakob/myshellconfig
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

fix reachable

Browse source
This commit is contained in:
Jakobus Schürz 2020-04-27 15:45:19 +02:00
parent 4bb6931780
commit aa1310a2cd
1 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
functions.sh
View file

@ -576,7 +576,7 @@ gnome-shell-extensions-make-actual-permanent-systemwide() {
sudo dconf update sudo dconf update
} }
reachable () { reachable-default () {
local SERVER=$1 local SERVER=$1
local PORT=${2:-22} local PORT=${2:-22}
local res=1 local res=1
@ -590,20 +590,20 @@ reachable () {
return $res return $res
} }
reachable-timed () { reachable () {
local SERVER=$1 local SERVER=$1
local PORT=${2:-22} local PORT=${2:-22}
local SEC=${3:-0} local SEC=${3:-1}
local res=1 local res=1
local i local i
echo -n "Try to connect to ${SERVER}:${PORT} (${SEC}s) " echo -n "Try to connect to ${SERVER}:${PORT} " >&2
for i in $(seq 0 $SEC); do for i in $(seq 1 $SEC); do
echo -n "." echo -n "." >&2
if reachable ${SERVER} ${PORT} 2>/dev/null; then if reachable-default ${SERVER} ${PORT} 2>/dev/null; then
res=0 res=0
break break
fi fi
sleep 1 [ ${SEC} -gt 1 -a $i -lt ${SEC} ] && sleep 1
done done
[ ${res} -gt 0 ] && echo " not reachable" >&2 || echo " success" >&2 [ ${res} -gt 0 ] && echo " not reachable" >&2 || echo " success" >&2