Вот функция bash для удаления завершающих нулей.
remove_trailing_zeroes()
{
declare -n n="$1"
# Prepend a 0 if number starts with a dot.
if [[ $n =~ ^[.] ]]; then
n="0$n"
fi
# Remove trailing zeroes
while [[ $n =~ [.].*0$ ]]; do
n="${n%0}"
done
# Remove trailing dot if any
if [[ $n =~ [.]$ ]]; then
n="${n%.}"
fi
}
Затем вы можете использовать это в своем случае:
q=$(bc <<< "scale=2;$p*100")
remove_trailing_zeroes q
head -n$q numbers.txt > secondcoordinate.txt
В вашем ~/.ssh/config вы можете создать конкретную конфигурацию для каждого хоста, например
Host f1
User xrisk
Hostname foo
IdentityFile ~/.ssh/id_ed25519-test
Затем вы можете подключиться к нему по ssh, используя его короткое имя:ssh s1