tree cd973f8d442442c1094691a393de3fb22bb5d9e6
parent 7cdbd25b1b20cb03abb378b2126e78e0e5526011
author Luca Milanesio <luca.milanesio@gmail.com> 1589919258 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1589919258 +0100

Allow customising cluster keys

Define the CLUSTER_KEYS setup variable to specify the cluster key pair.
This allows more isolation between different users accessing different
clusters with separate key pairs.

Change-Id: I74c8d1e8a29c2c398378500eb50fa05c2ef3fd8e