System administration of guix.bordeaux.inria.fr

This repository contains the GNU Guix System configuration for the machines at https://guix.bordeaux.inria.fr:

• the head node, in head-node.scm (host name: guix-hpc4);
• the build nodes, in guix-hpc*.scm.

SSH access

The machine’s SSH port is only accessible via access.bordeaux.inria.fr. Thus, add something along these lines to your ~/.ssh/config:

Host guix-hpc4
     ProxyCommand ssh -x -l charlie acces.bordeaux.inria.fr -W %h:%p

From there on, ssh guix-hpc4 should work.

Deployment

Obtain a clone of this repository on that machine and run:

sudo guix time-machine -C channels.scm -- reconfigure config.scm

Remote deployment

You can deploy Guix System on all machines remotely with guix deploy following by running:

guix time-machine -C channels.scm -- deploy deploy.scm

To restart cuirass-remote-worker (say) on all the nodes that have this service, run:

guix time-machine -C channels.scm -- deploy deploy.scm -x -- \
     herd restart cuirass-remote-worker

Note that this requires that your key (/etc/guix/signing-key.pub) be authorized on that machine. However, we recommend against it as it could potentially spread malicious or corrupt binaries from your machine to that one and from there to all its users.