Вы на правильном пути, но я думаю, вам было бы полезно разбить конфигурацию с помощью псевдонимов для каждого пользователя в вашем~/.ssh/config
:
Host site1
HostName shell.grid.co.uk
User site1user
IdentityFile ~/.ssh/id_rsa_site1user
Host site2
HostName shell.grid.co.uk
User site2user
IdentityFile ~/.ssh/id_rsa_site2user
Host sitetest
HostName shell.grid.co.uk
User testuser
IdentityFile ~/.ssh/id_rsa_testuser
Таким образом, ваш SSH-клиент должен использовать только один конкретный ключ для каждого пользователя. Вы просто ssh site1
, и ваша конфигурация добавит правильное имя пользователя и закрытый ключ.
Благодаря @muru, он нашел ошибку в формуле, которую я использую. Вот правильный и результаты довольно точные:
#!/usr/bin/env bash
set -euo pipefail
LA_1=0
LA_5=0
LA_15=0
EXP_1=0.9200
EXP_5=0.9835
EXP_15=0.9945
count() {
echo $(ps -eostat | grep -E "R|D" | wc -l)
}
echo "1 min 5 min 15 min"
while true; do
n=$(($(count) - 1))
LA_1=$(bc -l <<<"$LA_1 * $EXP_1 + $n * (1 - $EXP_1)")
LA_5=$(bc -l <<<"$LA_5 * $EXP_5 + $n * (1 - $EXP_5)")
LA_15=$(bc -l <<<"$LA_15 * $EXP_15 + $n * (1 - $EXP_15)")
echo -ne "$LA_1 $LA_5 $LA_15\r"
sleep 5
done