Альтернативная, более медленная и длинная версия.
#!/bin/sh
if [ ! -f "$1" ]
then
printf "No input file\n"
exit
fi
FIRST=`head -n 1 "${1}"`
LAST=`tail -n 1 "${1}"`
MID=`sed -n '$d; 2,$p' "${1}"`
printf "${FIRST}\n${LAST}\n${MID}\n"
exit
Медленнее из-за использования head
, tail
и sed
для доступа к файлу каждый раз. В большом файле (или множестве файлов )это может быть очень заметно.
Если вы просто хотите перезапустить сервер при сбое wget:
wget -q -O /dev/null http://localhost:9090 || systemctl restart yourserver
Это может быть добавлено, например, в запись cron.