Collection of small tools for CI/CD & sustainability
This command line python tool can copy a web site to your filesystem (i.e. make it static), report and correct some issues.
Requirements: python 3.10+ and linux-type environment equipped with wget.
How to copy a site to a html folder:
python3 static_site.py copy -u https://dral.kdl.kcl.ac.uk
python3 static_site.py -h for more info and actions.
This script will email a list of down sites.
python3 uptime.py
It is meant to run a few times a day as a cron job.
Requirements: python 3.5+
Before running it, create a config file under env/uptime.py with the
following parameters:
EMAIL_SERVER = 'YOUR_SMTP_DOMAIN'
EMAIL_TO=[
'RECIPIENT_1',
'RECIPIENT_2',
]
EMAIL_FROM = 'SENDER'
UPTIME_API_KEY = 'YOUR_UPTIME_ROBOT_READ_ONLY_API_KEY'Mercurial to Git converter (hg2git.sh)
This script converts a Mercurial repository to a Git repository and preserves the commit history.
./hg2git.sh /path/to/mercurial/repository
For more information, see the script itself.
This tool is used for visual regression testing. It compares two images and reports any differences.
More info in the README.md file.
Shows number of available gpus per type on SLURM cluster at any given moment.
python hpc-gpus.py
GPU | left (gpu) | max (gpu) | left (int) | max (int)
--------------------------------------------------------------
a100_40g | 6 | 40 | 2 | 36
a100_80g | 0 | 0 | 1 | 41
a30 | 0 | 0 | 0 | 8
a40 | 0 | 0 | 0 | 6
h100 | 0 | 0 | 0 | 11
ib | 0 | 0 | 0 | 0
l40s | 0 | 0 | 2 | 19
rtx2080 | 0 | 0 | 1 | 4
rtx3070 | 0 | 0 | 9 | 10
t4 | 0 | 0 | 0 | 6
titan_v | 0 | 0 | 0 | 2
titan_xp | 0 | 0 | 0 | 2
v100 | 0 | 0 | 0 | 4Where int stands for interruptible_gpu partition.