yes input_file | sed 35q | xargs cat > output_file
или сawk
:
awk 'BEGIN{while(ARGC<36)ARGV[ARGC++]=ARGV[1]}1' input_file
awk 'BEGIN{f=ARGV[1]; for(i=35;i--;){while((getline <f) > 0) print; close(f)}}' input_file
Мы смогли добиться желаемых результатов, используя следующие:
SSHSERVER=$(echo $SSH_CLIENT | cut -d " " -f1)
SSHSERVERNAME=$(host $SSHSERVER | cut -d " " -f5 | sed "s/.$//")
Спасибо icarus за то, что указал нам правильное направление.