Update to @univ-rennes.fr domain

This commit is contained in:
Jeremy Gardais 2023-08-16 05:58:32 +02:00
parent 625d6054c8
commit 01a248e374
Signed by: jegardai
GPG Key ID: E759BAA22501AF32
1 changed files with 3 additions and 3 deletions

View File

@ -3,7 +3,7 @@
# see https://bugzilla.ipr.univ-rennes1.fr/show_bug.cgi?id=3193 for details
# test run:
# graffy@work:~/bug3193$ ./disk-watchdog.sh /mnt/work/graffy/workspaces/meniscus $HOME/var/run/ipr/cluster/disk-watchdog /opt/ipr/cluster/work.global 90 guillaume.raffy@univ-rennes1.fr "manual trigger" 20
# graffy@work:~/bug3193$ ./disk-watchdog.sh /mnt/work/graffy/workspaces/meniscus $HOME/var/run/ipr/cluster/disk-watchdog /opt/ipr/cluster/work.global 90 guillaume.raffy@univ-rennes.fr "manual trigger" 20
# production run:
# graffy@work:~/bug3193$ sudo ./disk-watchdog.sh /mnt/work /var/run/ipr/cluster/disk-watchdog /opt/ipr/cluster/work.global 90 ipr-cluster@listes.univ-rennes1.fr "cron" 20
@ -167,8 +167,8 @@ function check_disk_usage()
local disk_usage_table_as_html="$(cat "${disk_usage_report_file_path}" | sort -r -n | head -${top_size} | awk '{printf("<tr><td>%s</td><td align=\"right\">%d</td><td align=\"center\">%s</td><td>%s</td></tr>\\n", NR, $1, $2, $3)}')"
local disk_size_in_gb="$((disk_size_in_mb / 1024))"
local admin_list_as_html=''
admin_list_as_html="${admin_list_as_html}<li><a href=\"mailto:guillaume.raffy@univ-rennes1.fr\">guillaume.raffy@univ-rennes1.fr</a>\n</li>\n"
admin_list_as_html="${admin_list_as_html}<li><a href=\"mailto:jeremy.gardais@univ-rennes1.fr\">jeremy.gardais@univ-rennes1.fr</a>\n</li>\n"
admin_list_as_html="${admin_list_as_html}<li><a href=\"mailto:guillaume.raffy@univ-rennes.fr\">guillaume.raffy@univ-rennes.fr</a>\n</li>\n"
admin_list_as_html="${admin_list_as_html}<li><a href=\"mailto:jeremy.gardais@univ-rennes.fr\">jeremy.gardais@univ-rennes.fr</a>\n</li>\n"
local localized_message=''
for language_id in 'french' 'english'